| # 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 |