user.js

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 6381b1aeb9e7e4e485f4f6e7faa37d7f00b7970f
parent 5cdea955e779ef17df66187c6b0b4eb7f4aeb5cf
Author: a1346054 <36859588+a1346054@users.noreply.github.com>
Date:   Tue, 28 Sep 2021 19:24:54 +0000

prefsCleaner.sh: Fix invalid regular expression (#1258)


Diffstat:
MprefsCleaner.sh | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prefsCleaner.sh b/prefsCleaner.sh @@ -48,7 +48,7 @@ fClean() { if [[ "$line" =~ $prefexp && $prefs != *"@@${BASH_REMATCH[1]}@@"* ]]; then prefs="${prefs}${BASH_REMATCH[1]}@@" fi - done <<< "$(grep -E \"$prefexp\" user.js)" + done <<< "$(grep -E "$prefexp" user.js)" while IFS='' read -r line || [[ -n "$line" ]]; do if [[ "$line" =~ ^$prefexp ]]; then