diff options
| author | Alexander Harkness <me@bearbin.net> | 2016-07-31 13:02:42 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-31 13:02:42 +0200 |
| commit | a4ca6899745f025ae5e63444f74459dad0772bef (patch) | |
| tree | d7043a8e47c8d933b10fa0ce8766a1f802892ab7 | |
| parent | Fix tab list sometimes not updating after a player leaves. (#3280) (diff) | |
| download | cuberite-a4ca6899745f025ae5e63444f74459dad0772bef.tar cuberite-a4ca6899745f025ae5e63444f74459dad0772bef.tar.gz cuberite-a4ca6899745f025ae5e63444f74459dad0772bef.tar.bz2 cuberite-a4ca6899745f025ae5e63444f74459dad0772bef.tar.lz cuberite-a4ca6899745f025ae5e63444f74459dad0772bef.tar.xz cuberite-a4ca6899745f025ae5e63444f74459dad0772bef.tar.zst cuberite-a4ca6899745f025ae5e63444f74459dad0772bef.zip | |
| -rwxr-xr-x | easyinstall.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/easyinstall.sh b/easyinstall.sh index 627a7bcdc..13527569c 100755 --- a/easyinstall.sh +++ b/easyinstall.sh @@ -1,5 +1,9 @@ #!/bin/sh +{ + +set -e + PLATFORM=$(uname -m) echo "Identifying platform: $PLATFORM" @@ -15,3 +19,5 @@ curl -s $DOWNLOADURL | tar -xzf - echo "Done." echo "Cuberite is now installed, run using 'cd Server; ./Cuberite'." + +} |