From 5e943d87595e10ba45e1c32a25be5ab7cb1bd8c7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Wed, 23 Oct 2019 14:14:27 +0200 Subject: Fix missing ignore file --- .ignore-cynerd-work | 1 + .ignore-work-pc | 1 - utils/inst | 3 ++- 3 files changed, 3 insertions(+), 2 deletions(-) create mode 100644 .ignore-cynerd-work delete mode 100644 .ignore-work-pc diff --git a/.ignore-cynerd-work b/.ignore-cynerd-work new file mode 100644 index 0000000..ec76ec2 --- /dev/null +++ b/.ignore-cynerd-work @@ -0,0 +1 @@ +backup diff --git a/.ignore-work-pc b/.ignore-work-pc deleted file mode 100644 index ec76ec2..0000000 --- a/.ignore-work-pc +++ /dev/null @@ -1 +0,0 @@ -backup diff --git a/utils/inst b/utils/inst index 34b2e87..e23b8de 100644 --- a/utils/inst +++ b/utils/inst @@ -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) -- cgit v1.2.3