MirrorMirror
/
riju
mirror of https://github.com/radian-software/riju.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Misc cleanup

This commit is contained in:
Radon Rosborough 2020-07-11 11:31:42 -06:00
parent 0b8d5d244d
commit 0f63d82389
2 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
scripts/docker-install-phase4.bash
View File

@ -82,6 +82,7 @@ pip3 install whitespace
# Wolfram Language
python3.7 -m pip install mathics
rm -rf /root/.cache /root/.config /root/.cpan /root/.cpanm /root/.gem /root/.npm /root/.npmrc
rm -f /tmp/core-js-banners
rm "$0"

3
scripts/docker-install-phase5.bash
View File

@ -19,7 +19,7 @@ wget -nv https://dl.bintray.com/reznikmm/ada-language-server/linux-latest.tar.gz
tar -xf linux-latest.tar.gz
mv linux/ada_language_server /usr/bin/ada_language_server
mv linux/*.so* /usr/lib/x86_64-linux-gnu/
rm linux-latest.tar.gz
rm -rf linux linux-latest.tar.gz
# Clojure
wget -nv https://github.com/snoe/clojure-lsp/releases/download/release-20200629T153107/clojure-lsp
@ -108,6 +108,7 @@ rm powershell-*.tar.gz
wget -nv https://github.com/PowerShell/PowerShellEditorServices/releases/download/v2.2.0/PowerShellEditorServices.zip
unzip PowerShellEditorServices.zip
mv PowerShellEditorServices /opt/powershell-editor-services
rm PowerShellEditorServices.zip
# Python
xml="$(curl -sSL "https://pvsc.blob.core.windows.net/python-language-server-stable?restype=container&comp=list&prefix=Python-Language-Server-linux-x64")"