Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit 6e32f41

Browse files
authoredMar 16, 2022
Merge pull request #364 from danykaufman/jupyter_github_unreachable_fix
jupyter/igz-tutorials-get.sh: exit if github.com is unreachable
2 parents 662b52a + 5f748ad commit 6e32f41

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed
 

‎igz-tutorials-get.sh

+3
Original file line numberDiff line numberDiff line change
@@ -82,6 +82,9 @@ if [ ! -z "${dry_run}" ]; then
8282
echo "Dry run; no files will be copied."
8383
fi
8484

85+
if ! (curl -s --connect-timeout 2 github.com &>/dev/null); then
86+
error_exit "Github is unreachable, Aborting..."
87+
fi
8588

8689
if [ -z "${branch}" ]; then
8790
platform_version="${IGZ_VERSION%%_*}"

0 commit comments

Comments
 (0)
Please sign in to comment.