make the default core.ignore_files more specific (#1160)
* make the default core.ignore_files more specific instead of blanket ignoring all dotfiles, we define a list of folders and files to ignore. this makes the overall experience better. * fix wrong path pattern * add ignore_files to user init
This commit is contained in:
parent
3c752f86f3
commit
437b954595
|
@ -7,7 +7,16 @@ config.mouse_wheel_scroll = 50 * SCALE
|
||||||
config.animate_drag_scroll = false
|
config.animate_drag_scroll = false
|
||||||
config.scroll_past_end = true
|
config.scroll_past_end = true
|
||||||
config.file_size_limit = 10
|
config.file_size_limit = 10
|
||||||
config.ignore_files = { "^%." }
|
config.ignore_files = {
|
||||||
|
-- folders
|
||||||
|
"^%.svn/", "^%.git/", "^%.hg/", "^CVS/", "^%.Trash/", "^%.Trash%-.*/",
|
||||||
|
"^node_modules/", "^%.cache/", "^__pycache__/",
|
||||||
|
-- files
|
||||||
|
"%.pyc$", "%.pyo$", "%.exe$", "%.dll$", "%.obj$", "%.o$",
|
||||||
|
"%.a$", "%.lib$", "%.so$", "%.dylib$", "%.ncb$", "%.sdf$",
|
||||||
|
"%.suo$", "%.pdb$", "%.idb$", "%.class$", "%.psd$", "%.db$",
|
||||||
|
"^desktop%.ini$", "^%.DS_Store$", "^%.directory$",
|
||||||
|
}
|
||||||
config.symbol_pattern = "[%a_][%w_]*"
|
config.symbol_pattern = "[%a_][%w_]*"
|
||||||
config.non_word_chars = " \t\n/\\()\"':,.;<>~!@#$%^&*|+=[]{}`?-"
|
config.non_word_chars = " \t\n/\\()\"':,.;<>~!@#$%^&*|+=[]{}`?-"
|
||||||
config.undo_merge_timeout = 0.3
|
config.undo_merge_timeout = 0.3
|
||||||
|
|
|
@ -495,7 +495,6 @@ local style = require "core.style"
|
||||||
-- key binding:
|
-- key binding:
|
||||||
-- keymap.add { ["ctrl+escape"] = "core:quit" }
|
-- keymap.add { ["ctrl+escape"] = "core:quit" }
|
||||||
|
|
||||||
|
|
||||||
------------------------------- Fonts ----------------------------------------
|
------------------------------- Fonts ----------------------------------------
|
||||||
|
|
||||||
-- customize fonts:
|
-- customize fonts:
|
||||||
|
@ -535,6 +534,21 @@ local style = require "core.style"
|
||||||
--
|
--
|
||||||
-- disable detectindent, otherwise it is enabled by default
|
-- disable detectindent, otherwise it is enabled by default
|
||||||
-- config.plugins.detectindent = false
|
-- config.plugins.detectindent = false
|
||||||
|
|
||||||
|
---------------------------- Miscellanous --------------------------------------
|
||||||
|
|
||||||
|
-- modify list of files to ignore when indexing the project:
|
||||||
|
-- config.ignore_files = {
|
||||||
|
-- -- folders
|
||||||
|
-- "^%.svn/", "^%.git/", "^%.hg/", "^CVS/", "^%.Trash/", "^%.Trash%-.*/",
|
||||||
|
-- "^node_modules/", "^%.cache/", "^__pycache__/",
|
||||||
|
-- -- files
|
||||||
|
-- "%.pyc$", "%.pyo$", "%.exe$", "%.dll$", "%.obj$", "%.o$",
|
||||||
|
-- "%.a$", "%.lib$", "%.so$", "%.dylib$", "%.ncb$", "%.sdf$",
|
||||||
|
-- "%.suo$", "%.pdb$", "%.idb$", "%.class$", "%.psd$", "%.db$",
|
||||||
|
-- "^desktop%.ini$", "^%.DS_Store$", "^%.directory$",
|
||||||
|
-- }
|
||||||
|
|
||||||
]])
|
]])
|
||||||
init_file:close()
|
init_file:close()
|
||||||
end
|
end
|
||||||
|
|
Loading…
Reference in New Issue