extern/bat - bat - Gitea: Git with a cup of tea

extern/bat

mirror of https://github.com/sharkdp/bat.git synced 2025-01-23 14:08:58 +01:00

2 lines

11 B

Plaintext

Raw Normal View History

#1244 Use [].copy and path.exists instead of more cumbersome solutions #1244 Slightly optimized create_highlighted_versions.py so that it won't walk the source path when it should be skipping the file #1244 Updated README.md in plaintext source folder #1244 Added extra option loading from `bat_options` file in directory and significantly reduced size of plaintext source #1244 Updated create_highlighted_versions.py to ignore README.md files and use the --show-all option for manually-defined binary files #1244 Updated plaintext file with command bat -A --no-config --style=plain --color=always --theme='1337' --italic-text=always src/Plaintext/plaintext.txt > highlighted/Plaintext/plaintext.txt #1244 Added example plaintext file

2020-10-05 00:29:20 +02:00

--show-all