diff options
| author | makefu <root@pigstarter.de> | 2013-12-30 03:46:06 +0100 |
|---|---|---|
| committer | makefu <root@pigstarter.de> | 2013-12-30 03:46:06 +0100 |
| commit | 1c96d86d8affa665bce215170748504e1790ba82 (patch) | |
| tree | 1950745b612ede8f0ae2effaff47a42607214050 /ship/src/fix_dircolors | |
| parent | da2be9e628e997d0d10e544331ce61b078b61502 (diff) | |
fix fix_dircolors
Diffstat (limited to 'ship/src/fix_dircolors')
| -rwxr-xr-x | ship/src/fix_dircolors | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/ship/src/fix_dircolors b/ship/src/fix_dircolors index 57229210..b2e2ffdb 100755 --- a/ship/src/fix_dircolors +++ b/ship/src/fix_dircolors @@ -1,5 +1,7 @@ #!/bin/sh -#@core +#@info +#@strict +#@include core exists dircolors || die "no dircolors in PATH, bailing out" info "fixing dircolors for $(id -un)" |