citus/.devcontainer
Nils Dijk 47bd9d8917
Devcontainer: add code formatting tools (#7355)
The devcontainer missed two tools used by code formatting, as done by
`ci/fix_style.sh`
The missing tools were both python tools, used for formatting our python
scripts.

 - black
 - isort

This change adds both tools. The way it does this is by keeping a
`requirements.txt` in `.devcontainer/` containing all python
dependencies we need to install. When installing both tools in a clean
environment we have exported all installed packages with `pip freeze`
into the `requirements.txt` assuming this is all related to the two
tools installed.

Since python installs the binaires in `~/.local/bin/` we also move some
scripts we manually install from `~/.bin/` to that same directory. At
first it seemed like vscode's devcontainers were not having that on the
path. However, when the container has that directory when it starts the
directory does get added to `$PATH` by `~/.profile`. This makes the
whole environment a bit more streamlined.
2023-11-24 13:03:01 +00:00
..
.vscode Add devcontainer for development purposes (#7102) 2023-10-09 15:37:21 +02:00
pgenv/config Add devcontainer for development purposes (#7102) 2023-10-09 15:37:21 +02:00
src/test/regress Bump werkzeug from 2.3.7 to 3.0.1 in /.devcontainer/src/test/regress 2023-11-09 17:14:14 +01:00
.gdbinit automatically add a breakpoint that breaks on postgres errors (#7279) 2023-10-27 16:57:51 +02:00
.gitignore Add devcontainer for development purposes (#7102) 2023-10-09 15:37:21 +02:00
.psqlrc Add devcontainer for development purposes (#7102) 2023-10-09 15:37:21 +02:00
Dockerfile Devcontainer: add code formatting tools (#7355) 2023-11-24 13:03:01 +00:00
Makefile Add devcontainer for development purposes (#7102) 2023-10-09 15:37:21 +02:00
devcontainer.json Add devcontainer for development purposes (#7102) 2023-10-09 15:37:21 +02:00
requirements.txt Devcontainer: add code formatting tools (#7355) 2023-11-24 13:03:01 +00:00