mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-25 17:52:02 +02:00
Code Issues Packages Projects Releases Wiki Activity

Update in response to feedback

Browse Source 
- one configuration option: ignore_paths
- use shlex to parse option to support whitespace and in-line comments
- change option type to Tuple[str, ...]
- remove ignored directories from dirnames to prevent scanning
This commit is contained in:
Suvayu Ali
2022-06-06 09:58:18 +02:00
parent eea652f1d0
commit 20b6a97159
6 changed files with 26 additions and 31 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
kittens/diff/options/definition.py
View File

@@ -48,14 +48,11 @@ opt('replace_tab_by', '\\x20\\x20\\x20\\x20',
long_text='The string to replace tabs with. Default is to use four spaces.'
)
opt('file_ignores', '',
option_type='pattern_list',
long_text='List of file patterns that are ignored when directories are compared'
)
opt('ignore_paths', '',
option_type='pattern_list',
long_text='List of directory patterns that are ignored when directories are compared'
long_text='''List of patterns that are matched against directory and file
names and ignored when directories are compared.
''',
)
egr() # }}}