diff options
| author | Party Wumpus <48649272+PartyWumpus@users.noreply.github.com> | 2023-03-20 22:14:24 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-20 22:14:24 +0000 |
| commit | 17740d066589cdc61167c46c83ec22650f09c6af (patch) | |
| tree | f946a80cbb70821c682693b7c6ecc4f5260256ef | |
| parent | 0045320b927887ead526ed0a2e78e4b56f5e1a12 (diff) | |
| download | decky-installer-17740d066589cdc61167c46c83ec22650f09c6af.tar.gz decky-installer-17740d066589cdc61167c46c83ec22650f09c6af.zip | |
Update install_release.sh
| -rw-r--r-- | cli/install_release.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/cli/install_release.sh b/cli/install_release.sh index 54be30d..ba1a82f 100644 --- a/cli/install_release.sh +++ b/cli/install_release.sh @@ -10,6 +10,13 @@ then exit fi +# check if github.com is reachable +if ! curl -Is https://github.com | head -1 | grep 200 > /dev/null +then + echo "Github appears to be unreachable, you may not be connected to the internet" + exit 1 +fi + echo "Installing Steam Deck Plugin Loader release..." USER_DIR="$(getent passwd $SUDO_USER | cut -d: -f6)" |
