argentum => [allows.sh]

mendess · Jan 19, 2023 · a439277 · a439277
1 parent 3a1d9a1
commit a439277
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.install-profile/allows.sh b/.install-profile/allows.sh
@@ -6,4 +6,8 @@ script="$1"
 want_to_install="$2"
 
 ! [ -e "$profiles_folder/$script.profile" ] ||
-    grep -qEf "$profiles_folder/$script.profile" <<<"$want_to_install"
+    grep --line-regexp \
+        --quiet \
+        --extended-regexp \
+        --file="$profiles_folder/$script.profile" \
+        <<<"$want_to_install"