fixed a bug and bumped to 1.12

danielnachumdev · May 22, 2023 · dedfc7d · dedfc7d
1 parent 70010f4
commit dedfc7d
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/SSH2HUJI_unix.sh b/SSH2HUJI_unix.sh
@@ -12,7 +12,7 @@ if ! which ssh >/dev/null; then
 fi
 
 # Check version
-current_version=1.11
+current_version=1.12
 version_file=tmp
 echo "[$me] Checking version number..."
 curl --silent --output "$version_file" https://raw.githubusercontent.com/danielnachumdev/SSH2HUJI/main/version

diff --git a/SSH2HUJI_windows.bat b/SSH2HUJI_windows.bat
@@ -11,7 +11,7 @@ where ssh >nul 2>&1 || (
 )
 
 :update
-set current_version=1.11
+set current_version=1.12
 set version_file=tmp
 echo [%me%] Cheking version number...
 curl --silent --output %version_file% https://raw.githubusercontent.com/danielnachumdev/SSH2HUJI/main/version
@@ -31,7 +31,7 @@ FOR /F "tokens=1" %%x IN (%version_file%) DO (
     set /a count=%count%+1
 )
 
-set known_hosts = "C:\Users\%USERNAME%\.ssh\known_hosts"
+set known_hosts="C:\Users\%USERNAME%\.ssh\known_hosts"
 set look_for="bava.cs.huji.ac.il"
 :login
 @REM does known_hosts already contains path?

diff --git a/version b/version
@@ -1 +1 @@
-1.11
+1.12