Scripts

This directory contains Python scripts to support IDE toolings, such as a script to generate compilation databases.

Editor setup

• Install the Pyright extension (code-server, VSCode)
• Open the ide_tooling directory as a workspace
• Open a Python file in scripts.