diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2025-03-12 11:50:40 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2025-03-23 19:29:33 +0100 |
| commit | f4c832b277846b05c710dc8776c2c0578a03fcd9 (patch) | |
| tree | b62eb3adc2993281c1b34bdce1a6707ca68f2753 /gnu/services/admin.scm | |
| parent | 667248948ad888600f2ce1caee382e95b5f32583 (diff) | |
services: file-database: Exclude /dev by default.
* gnu/services/admin.scm (%default-file-database-excluded-directories):
Add “/dev’.
Reviewed-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
Change-Id: I06af6621cd363e140a6fc49e1cee97d15b365b89
Diffstat (limited to 'gnu/services/admin.scm')
| -rw-r--r-- | gnu/services/admin.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/services/admin.scm b/gnu/services/admin.scm index 5f5b76ffbb9..b73accc4af8 100644 --- a/gnu/services/admin.scm +++ b/gnu/services/admin.scm @@ -430,7 +430,7 @@ This service is deprecated and slated for removal after 2025-06-15.") ;; Regexps of directories excluded from the 'locate' database. (list (%store-prefix) "/tmp" "/var/tmp" "/var/cache" ".*/\\.cache" - "/run/udev")) + "/run/udev" "/dev")) (define (string-or-gexp? obj) (or (string? obj) (gexp? obj))) |
