Files
community-plugins/file-search/translations/en.json
T
2026-07-29 00:29:45 -04:00

47 lines
1.8 KiB
JSON

{
"copied_entry": "Path copied to clipboard",
"copied_path": "Search folder path copied to clipboard",
"counts": "{shown} shown · {total} indexed",
"err_bad_record": "Ignored an invalid index record — rebuild the index",
"err_index": "Failed to index the search folder",
"err_no_fzf": "fzf not found — install fzf to use this plugin",
"err_spawn": "Could not run the search command",
"launcher": {
"indexing": "Indexing files…",
"no_results": "No matches",
"reindex_done": "Search index dropped — it rebuilds on the next search",
"reindex_title": "Rebuild search index"
},
"no_results": "No matches for \"{query}\"",
"search_placeholder": "Type to search files and folders…",
"settings": {
"exclude_dirs": {
"description": "Folder names skipped while indexing, separated by ',' or ';' (matched anywhere in the tree), e.g. '.git, node_modules, .cache'.",
"label": "Excluded folders"
},
"glyph": {
"description": "Icon shown on the bar.",
"label": "Glyph"
},
"max_results": {
"description": "How many matches the panel lists at most.",
"label": "Max results"
},
"search_folder": {
"description": "Root folder the search indexes. Defaults to your home folder when empty.",
"label": "Search folder"
},
"show_hidden": {
"description": "Index files and folders whose name starts with a dot.",
"label": "Include hidden entries"
}
},
"status_indexing": "Indexing {path}…",
"tip_close": "Close",
"tip_refresh": "Rebuild the file index",
"tip_settings": "Plugin settings",
"title": "File Search",
"tooltip_closed": "File search — {path}\nClick to search · right-click: folder · middle-click: copy path",
"tooltip_open": "File search open — {path}\nClick to close"
}