diff options
Diffstat (limited to 'installer/install-metals.sh')
| -rwxr-xr-x | installer/install-metals.sh | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/installer/install-metals.sh b/installer/install-metals.sh index 58c7a23..a76ecc2 100755 --- a/installer/install-metals.sh +++ b/installer/install-metals.sh @@ -2,13 +2,6 @@ set -e -cd $(dirname $0) - -server_dir="../servers/metals" - -[ -d $server_dir ] && rm -rf $server_dir -mkdir $server_dir && cd $server_dir - curl -Lo ./coursier https://git.io/coursier-cli chmod +x ./coursier |