From baacb145ad0ce86dff846c9b658210d9b4fd0491 Mon Sep 17 00:00:00 2001 From: Tingluo Huang Date: Thu, 8 Jul 2021 17:20:40 -0400 Subject: [PATCH] remove sbt repository from apt-get. --- src/Misc/layoutbin/installdependencies.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/Misc/layoutbin/installdependencies.sh b/src/Misc/layoutbin/installdependencies.sh index d771afcfb..fd5122f11 100755 --- a/src/Misc/layoutbin/installdependencies.sh +++ b/src/Misc/layoutbin/installdependencies.sh @@ -48,7 +48,10 @@ then echo "--------Debian Version--------" cat /etc/debian_version echo "------------------------------" - + + mv /etc/apt/sources.list.d/sbt.list sbt.list + mv /etc/apt/sources.list.d/sbt.list.save sbt.list.save + # prefer apt-get over apt command -v apt-get if [ $? -eq 0 ]