diff options
| author | Karel Kočí <karel.koci@nic.cz> | 2019-10-23 14:14:27 +0200 |
|---|---|---|
| committer | Karel Kočí <karel.koci@nic.cz> | 2019-10-23 14:14:27 +0200 |
| commit | 5e943d87595e10ba45e1c32a25be5ab7cb1bd8c7 (patch) | |
| tree | f2be3e258d8ce99b46ab66dda0d2f54196e9bc2f | |
| parent | 6a6f0d10d079519df5ed070ba8389b9104560921 (diff) | |
| download | myconfigs-5e943d87595e10ba45e1c32a25be5ab7cb1bd8c7.tar.gz myconfigs-5e943d87595e10ba45e1c32a25be5ab7cb1bd8c7.tar.bz2 myconfigs-5e943d87595e10ba45e1c32a25be5ab7cb1bd8c7.zip | |
Fix missing ignore file
| -rw-r--r-- | .ignore-cynerd-work (renamed from .ignore-work-pc) | 0 | ||||
| -rw-r--r-- | utils/inst | 3 |
2 files changed, 2 insertions, 1 deletions
diff --git a/.ignore-work-pc b/.ignore-cynerd-work index ec76ec2..ec76ec2 100644 --- a/.ignore-work-pc +++ b/.ignore-cynerd-work @@ -5,7 +5,8 @@ # First argument is name (take care not to use special characters for regulard # expression) and second argument is a question ask() { - grep -q "^$1$" ".ignore-$(hostname)" && return 1 + local ignore_file=".ignore-$(hostname)" + [ -f "$ignore_file" ] && grep -q "^$1$" "$ignore_file" && return 1 if $FORCE; then echo "\e[1;34m$2\e[0m" # Fall trough with 0 exit (always yes) |