ada/ada_language_server
0
0
Fork 0
mirror of https://github.com/AdaCore/ada_language_server.git synced 2026-02-12 12:45:50 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
25.2
ada_language_server/doc/gitpod.md
Nicolas Setton e1c258f624 Small changes for gitpod / VS Code integration 
Add subprojects/ to the .gitignore.
Open the welcome message in the editor.
Fix a typo in the welcome message.
2021-03-17 16:18:45 +00:00

970 B
Raw Permalink Blame History

gitpod.io integration

Gitpod is an open source platform for automated and ready-to-code development environments that blends into your existing workflow. It enables developers to describe their dev environment as code and start instant and fresh development environments for each new task directly from your browser.

In a gidpod session you can:

  • navigate and edit the LSP Server sources
  • commit changes and send pull requests
  • collaborate and share the workspace (See https://www.gitpod.io/docs/sharing-and-collaboration/)
  • build and check compiler diagnostics using /Terminal/Run Build Task... menu
  • start debugger with /Debug/Start Debugging menu (or F5)

The editor has a lot of commands built in. Press F1 to search a command.

By default the editor is configured for the gnat/lsp_server.gpr project. You can switch the project by changing /File/Settings/Open Preferences or Ctrl+,, see Ada section.

Reference in New Issue View Git Blame Copy Permalink