# 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](https://open-vsx.org/extension/ms-pyright/pyright),
 [VSCode](https://marketplace.visualstudio.com/items?itemName=ms-pyright.pyright))
* Open the `ide_tooling` directory as a
workspace
* Open a Python file in `scripts`.

[Pyright extension]: https://marketplace.visualstudio.com/items?itemName=ms-pyright.pyright