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

LSP working for PowerShell

This commit is contained in:
Radon Rosborough 2020-07-09 11:34:42 -06:00
parent 68dc99c77f
commit b56d4ce6c0
2 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
backend/src/langs.ts
View File

@ -730,6 +730,7 @@ echo "Hello, world!\\n";
repl: "SHELL=/usr/bin/pwsh pwsh", repl: "SHELL=/usr/bin/pwsh pwsh",
main: "main.ps1", main: "main.ps1",
run: "SHELL=/usr/bin/pwsh pwsh -NoExit main.ps1", run: "SHELL=/usr/bin/pwsh pwsh -NoExit main.ps1",
lsp: `pwsh -NoLogo -NoProfile -Command "/opt/powershell-editor-services/PowerShellEditorServices/Start-EditorServices.ps1 -BundledModulesPath /opt/powershell-editor-services -LogPath '$PWD/.powershell-editor-services/lsp.log' -SessionDetailsPath '$PWD/.powershell-editor-services/session.json' -FeatureFlags @() -AdditionalModules @() -HostName Riju -HostProfileId 'riju' -HostVersion 0.0 -Stdio -LogLevel Normal"`,
template: `Write-Host "Hello, world!" template: `Write-Host "Hello, world!"
`, `,
}, },

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

@ -92,6 +92,10 @@ tar -xf powershell-*.tar.gz -C /opt/powershell
ln -s /opt/powershell/pwsh /usr/bin/pwsh ln -s /opt/powershell/pwsh /usr/bin/pwsh
rm powershell-*.tar.gz 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
# 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)"