[#24] New language: PSeInt
This commit is contained in:
parent
aea38776d1
commit
a88089cbd0
|
@ -2697,6 +2697,17 @@ main :-
|
||||||
template: `active proctype main() {
|
template: `active proctype main() {
|
||||||
printf("Hello, world!\\n");
|
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: {
|
pug: {
|
||||||
|
|
|
@ -282,6 +282,12 @@ unzip PowerShellEditorServices.zip
|
||||||
mv PowerShellEditorServices /opt/powershell-editor-services
|
mv PowerShellEditorServices /opt/powershell-editor-services
|
||||||
rm PowerShellEditorServices.zip
|
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
|
# Python
|
||||||
xml="$(curl -sSL "https://pvsc.blob.core.windows.net/python-language-server-stable?restype=container&comp=list&prefix=Python-Language-Server-linux-x64")"
|
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)"
|
nupkg="$(echo "$xml" | grep -Eo 'https://[^<]+\.nupkg' | tail -n1)"
|
||||||
|
|
Loading…
Reference in New Issue