Skip to content

Commit 191212e

Browse files
authored
Check for internet access before running batch script
1 parent 353c92d commit 191212e

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

.github/workflows/iso.bat

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,11 @@
11
@ECHO off
22

3+
curl -Is https://github.com >nul 2>&1
4+
if errorlevel 1 (
5+
echo Please connect to the internet
6+
exit /b 1
7+
)
8+
39
SET latest=GITHUBRELEASE
410
SET latestkver=%latest%
511
CALL SET latestkver=%%latestkver:v=%%

0 commit comments

Comments
 (0)