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 --- utils/inst | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'utils/inst') 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