commit c1c368bce9822ddffdee99e9308b887c207f2411
parent 73f03c449f8a5854ffc44f1728f2b79c71cb9cb4
Author: claustromaniac <20734810+claustromaniac@users.noreply.github.com>
Date: Fri, 29 Dec 2017 20:14:08 +0000
1.2
- Search string made case-sensitive, because Firefox preferences are.
- The script now uses regex, which allows it to understand user.js files formatted using single quotes, spaces, or tabs.
Trade-off: it can no longer reset preferences that include some special characters in their names. Not an issue for now, just something to remember.
Diffstat:
1 file changed, 6 insertions(+), 8 deletions(-)
diff --git a/prefsCleaner.bat b/prefsCleaner.bat
@@ -3,7 +3,7 @@ TITLE prefs.js cleaner
REM ### prefs.js cleaner for Windows
REM ## author: @claustromaniac
-REM ## version: 1.1
+REM ## version: 1.2
SETLOCAL EnableDelayedExpansion
:begin
@@ -11,8 +11,8 @@ ECHO:
ECHO:
ECHO ########################################
ECHO #### prefs.js cleaner for Windows ####
-ECHO #### author: @claustromaniac ####
-ECHO #### version: 1.1 ####
+ECHO #### by claustromaniac ####
+ECHO #### v1.2 ####
ECHO ########################################
ECHO:
CALL :message "This script should be run from your Firefox profile directory."
@@ -73,11 +73,9 @@ SETLOCAL DisableDelayedExpansion
SET "_line=%%H"
SETLOCAL EnableDelayedExpansion
IF /I "user_pref"=="!_line:~0,9!" (
- FOR /F "delims=," %%X IN ("!_line!") DO (SET "_pref=%%X")
- SET _pref=!_pref:"=""!
- FIND /I "!_pref!" user.js >nul
- IF ERRORLEVEL 1 (
- ECHO:!_line!
+ FOR /F tokens^=2^ delims^=^" %%I IN ("!_line:.=\.!") DO (
+ FINDSTR /R /C:"user_pref[ ]*\([ ]*[\"']%%I[\"'][ ]*," user.js >nul
+ IF ERRORLEVEL 1 (ECHO:!_line!)
)
) ELSE (
ECHO:!_line!