Settings
Search for Files provides gsettings keys to modify some of its behavior. The gsettings values can be changed by starting the Configuration Editor in the following ways:
- menu
-
Choose .
- Command line
-
Execute the following command: dconf-editor
4.1. Disable Quick Search
Key name: org.gnome.gnome-search-tool.disable-quick-search
Default value: false
Search for Files speeds up file name searches by using the locate command. Locate provides a secure way to index and quickly search for file names. Because locate relies on a file index, the Search results list may not always be up to date.
4.2. Disable Quick Search Second Scan
Key name: org.gnome.gnome-search-tool.disable-quick-search-second-scan
Default value: false
After completing a quick search, Search for Files will perform a thorough search using the find command. The purpose of this second scan is to find files that have not been indexed. Files that match the search criteria are added to the Search results list keeping the list up to date.
4.3. Quick Search Excluded Paths
Key name: org.gnome.gnome-search-tool.quick-search-excluded-paths
Default values: [/mnt/*,/media/*,/dev/*,/tmp/*,/proc/*,/var/*]
Search for Files will not perform a quick search for paths defined by this key. File name searches in the defined paths will use the find command. The wildcards '*' and '?' are supported.
4.4. Quick Search Second Scan Excluded Paths
Key name: org.gnome.gnome-search-tool.quick-search-second-scan-excluded-paths
Default values: [/]
Search for Files will not perform a second scan after a quick search for the paths defined by this key. Quick searches in the defined paths will not be followed by a thorough search using the find command. The wildcards '*' and '?' are supported.