user.js

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

commit 77ca6af2d943a1af53ebce59219c7a57d7f19731
parent e663b8a968f5b36a39d732e0a82c66507b7791cf
Author: claustromaniac <20734810+claustromaniac@users.noreply.github.com>
Date:   Sun, 10 Dec 2017 01:20:39 +0000

I said 3.2.

I'm not me if I don't miss something.

Diffstat:
Mupdater.bat | 4++--
1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/updater.bat b/updater.bat @@ -3,7 +3,7 @@ TITLE ghacks user.js updater REM ### ghacks-user.js updater for Windows REM ## author: @claustromaniac -REM ## version: 3.1 +REM ## version: 3.2 SET _myname=%~n0 SET _myparams=%* @@ -81,7 +81,7 @@ IF DEFINED _updateb ( REM * Copy itself overwriting the original batch REM * Start that script in a new CMD instance REM * Exit - IF EXIST !_myname:~9!.bat ( + IF EXIST "!_myname:~9!.bat" ( REN "!_myname:~9!.bat" "!_myname:~9!.bat.old" DEL /F "!_myname:~9!.bat.old" )