Git-Mirrors/user.js
1
0
Fork 0
mirror of https://github.com/arkenfox/user.js.git synced 2025-04-22 08:29:31 -04:00
Code Issues Packages Projects Releases Wiki Activity

Minor improvement.

Browse Source
This commit is contained in:
claustromaniac 2017-12-13 11:47:39 +00:00
parent f07bbb6c85
commit e3b8d0955b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
prefs cleaner.bat
View File

@ -30,8 +30,8 @@ SETLOCAL DisableDelayedExpansion
SET "_line=%%H"
SETLOCAL EnableDelayedExpansion
SET "_pref=!_line: =!"
FOR /F "delims=," %%X IN ("!_pref!") DO ( SET "_pref=%%X" )
IF /I "user_pref"=="!_pref:~0,9!" (
FOR /F "delims=," %%X IN ("!_pref!") DO ( SET "_pref=%%X" )
SET _pref=!_pref:"=""!
FIND /I "!_pref!" user.js >nul
IF ERRORLEVEL 1 (