Ada & SPARK extension for VS Code

Contents:

  • Tutorial: Using Ada in VS Code
  • Refactoring Tools
  • Ada Language Server configuration
  • ALS Traces
  • Tips and tricks
    • Custom colors
    • GNAT Project files support
    • Set workspace-specific environment variables
    • Working on a remote machine
  • Protocol extensions
Ada & SPARK extension for VS Code
  • Tips and tricks
  • View page source

Tips and tricks

Contents:

  • Custom colors
    • Supported token types
    • Supported token modifiers
    • Example
  • GNAT Project files support
  • Set workspace-specific environment variables
    • Prerequisites
    • How to set environment variables
    • Example
  • Working on a remote machine
    • Prerequisites
    • Configure your SSH targets
    • Connect to a remote machine
    • Useful links
    • A short demo:
Previous Next

© Copyright 2024-2025, AdaCore.

Built with Sphinx using a theme provided by Read the Docs.