diff --git a/scripts/deploy.bash b/scripts/deploy.bash index 500c756..7763808 100755 --- a/scripts/deploy.bash +++ b/scripts/deploy.bash @@ -15,4 +15,5 @@ else exit 1 fi -ssh -o IdentitiesOnly=yes -i "${keyfile}" deploy@209.141.40.107 /usr/bin/riju-install +ssh -o IdentitiesOnly=yes -o StrictHostKeyChecking=no \ + -i "${keyfile}" deploy@209.141.40.107 /usr/bin/riju-install diff --git a/scripts/docker-install-phase3b.bash b/scripts/docker-install-phase3b.bash index 38303f3..b4ced0b 100755 --- a/scripts/docker-install-phase3b.bash +++ b/scripts/docker-install-phase3b.bash @@ -48,9 +48,6 @@ default-jdk # Julia julia -# Kalyn -haskell-stack - # Ksh ksh diff --git a/scripts/docker-install-phase5.bash b/scripts/docker-install-phase5.bash index 62fab91..5bce5c1 100755 --- a/scripts/docker-install-phase5.bash +++ b/scripts/docker-install-phase5.bash @@ -13,6 +13,12 @@ cd /tmp git clone https://github.com/circulosmeos/gdown.pl.git mv gdown.pl/gdown.pl /usr/bin/gdown +cd /tmp +wget https://get.haskellstack.org/stable/linux-x86_64-static.tar.gz +tar -xf linux-x86_64-static.tar.gz +mv stack-*-linux-x86_64-static/stack /usr/bin/stack +rm -rf stack-*-linux-x86_64-static linux-x86_64-static.tar.gz + # D cd /tmp wget -nv http://downloads.dlang.org/releases/2.x/2.092.0/dmd_2.092.0-0_amd64.deb