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/linux.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/linux.scm')
0 files changed, 0 insertions, 0 deletions