From a88089cbd06147cf617e1ed232e7a4d101ddba8c Mon Sep 17 00:00:00 2001 From: Radon Rosborough Date: Sun, 4 Oct 2020 15:16:49 -0700 Subject: [PATCH] [#24] New language: PSeInt --- backend/src/langs.ts | 11 +++++++++++ scripts/docker-install-phase4.bash | 6 ++++++ 2 files changed, 17 insertions(+) diff --git a/backend/src/langs.ts b/backend/src/langs.ts index 4c85a18..2a95179 100644 --- a/backend/src/langs.ts +++ b/backend/src/langs.ts @@ -2697,6 +2697,17 @@ main :- template: `active proctype main() { printf("Hello, world!\\n"); } +`, + }, + pseint: { + aliases: ["psc"], + name: "PSeInt", + main: "main.psc", + run: "pseint --nouser main.psc", + hello: "¡Hola, mundo!", + template: `Proceso Main + Escribir "¡Hola, mundo!"; +FinProceso `, }, pug: { diff --git a/scripts/docker-install-phase4.bash b/scripts/docker-install-phase4.bash index 8b65dca..36c2e54 100755 --- a/scripts/docker-install-phase4.bash +++ b/scripts/docker-install-phase4.bash @@ -282,6 +282,12 @@ unzip PowerShellEditorServices.zip mv PowerShellEditorServices /opt/powershell-editor-services rm PowerShellEditorServices.zip +# PSeInt +wget -nv "$(curl -sSL "http://pseint.sourceforge.net/index.php?page=descargas.php&os=lnx" | grep -Eo 'http://[^"]+l64[^"]+\.tgz\?download')" -O pseint.tgz +tar -xf pseint.tgz +mv pseint/bin/pseint /usr/local/bin/ +rm -rf pseint pseint.tgz + # Python xml="$(curl -sSL "https://pvsc.blob.core.windows.net/python-language-server-stable?restype=container&comp=list&prefix=Python-Language-Server-linux-x64")" nupkg="$(echo "$xml" | grep -Eo 'https://[^<]+\.nupkg' | tail -n1)"