From 5610772c15677859651ebb2035f03aa328e1bbff Mon Sep 17 00:00:00 2001
From: Radon Rosborough <radon.neon@gmail.com>
Date: Sat, 22 Aug 2020 19:47:13 -0600
Subject: [PATCH] Remove Metals installation

---
 scripts/docker-install-phase4.bash | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/scripts/docker-install-phase4.bash b/scripts/docker-install-phase4.bash
index cce5482..45c58ce 100755
--- a/scripts/docker-install-phase4.bash
+++ b/scripts/docker-install-phase4.bash
@@ -237,16 +237,6 @@ for file in /opt/rust/bin/*; do
     ln -s /opt/rust/wrapper "/usr/local/bin/${file##*/}"
 done
 
-# Scala
-file="$(curl -sSL https://scalameta.org/metals/docs/editors/emacs.html | grep -Eo 'org.scalameta[^ ]+')"
-wget -nv https://git.io/coursier-cli
-chmod +x coursier-cli
-mv coursier-cli /usr/local/bin/coursier
-coursier bootstrap --java-opt -Xss4m --java-opt -Xms100m --java-opt -Dmetals.client=emacs "${file}" -r bintray:scalacenter/releases -r sonatype:snapshots -o /usr/local/bin/metals
-metals -version </dev/null
-mkdir /opt/coursier
-mv "$HOME/.cache/coursier" /opt/coursier/cache
-
 # SETL
 wget -nv https://setl.org/setl/bin/Linux-x86-64bit/setlbin.tgz
 tar -xf setlbin.tgz -C /usr/local/bin