diff options
| author | Party Wumpus <48649272+PartyWumpus@users.noreply.github.com> | 2023-03-20 22:14:12 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-20 22:14:12 +0000 |
| commit | 0045320b927887ead526ed0a2e78e4b56f5e1a12 (patch) | |
| tree | 5976d0a5628b9b2247c1314e0ba82fcea8aecc0d | |
| parent | 0ecd667f7e086208d08570612c9e97a21fa69512 (diff) | |
| download | decky-installer-0045320b927887ead526ed0a2e78e4b56f5e1a12.tar.gz decky-installer-0045320b927887ead526ed0a2e78e4b56f5e1a12.zip | |
prerelease check for github connection
| -rw-r--r-- | cli/install_prerelease.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/cli/install_prerelease.sh b/cli/install_prerelease.sh index aae66dc..9c2c2ab 100644 --- a/cli/install_prerelease.sh +++ b/cli/install_prerelease.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 pre-release..." USER_DIR="$(getent passwd $SUDO_USER | cut -d: -f6)" |