Ada & SPARK VS Code Extension User's Guide

Contents:

  • User's Guide
  • Tutorial: Using Ada in VS Code
  • Refactoring Tools
  • Tips and Tricks
    • Custom colors
    • GNAT Project files support
    • Set workspace-specific environment variables
    • Working on a remote machine
  • Ada Language Server Settings
  • ALS Traces
  • Language Server Protocol Extensions
Ada & SPARK VS Code Extension User's Guide
  • 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.