user.js

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README
commit 824dec4f9e14ad503d71e47705349ae0691a969c
parent 3d2b0703bedee1c12b86cd508757e0a27802482c
Author: claustromaniac <20734810+claustromaniac@users.noreply.github.com>
Date:   Wed, 18 Apr 2018 20:29:39 +0000

Update prefsCleaner.bat
Diffstat:

MprefsCleaner.bat | 2+-


1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prefsCleaner.bat b/prefsCleaner.bat
@@ -67,7 +67,7 @@ GOTO :EOF
 REM ######### Cleanup Function ##########
 :cleanup
 (
-	FOR /F tokens^=2^ delims^=^'^" %%G IN ('FINDSTR /R ^^[^^\^"^']*user_pref user.js') DO (
+	FOR /F tokens^=2^ delims^=^'^" %%G IN ('FINDSTR /R /C:"^[^\"']*user_pref[ 	]*\([ 	]*[\"'][^\"']*[\"'][ 	]*," user.js') DO (
 		IF NOT ""=="%%G" (SET "[%%G]=1")
 	)
 	FOR /F "tokens=1,* delims=:" %%G IN ('FINDSTR /N "^" prefs.js') DO (