citus/.devcontainer
Nils Dijk 8ada055fc1 Add devcontainer for development purposes (#7102)
This change adds a devcontainer configuration to the Citus project. This
devcontainer allows for quick generation of isolated development
environments, either local on the machine of a developer or in a cloud,
like github codepaces.

The devcontainer is updated automatically by github actions when its
configuration changes.

For more detailed instructions on how to quickstart the development in a
container see CONTRIBUTING.md
2023-11-13 13:29:10 -05:00
..
.vscode Add devcontainer for development purposes (#7102) 2023-11-13 13:29:10 -05:00
pgenv/config Add devcontainer for development purposes (#7102) 2023-11-13 13:29:10 -05:00
src/test/regress Add devcontainer for development purposes (#7102) 2023-11-13 13:29:10 -05:00
.gdbinit Add devcontainer for development purposes (#7102) 2023-11-13 13:29:10 -05:00
.gitignore Add devcontainer for development purposes (#7102) 2023-11-13 13:29:10 -05:00
.psqlrc Add devcontainer for development purposes (#7102) 2023-11-13 13:29:10 -05:00
Dockerfile Add devcontainer for development purposes (#7102) 2023-11-13 13:29:10 -05:00
Makefile Add devcontainer for development purposes (#7102) 2023-11-13 13:29:10 -05:00
devcontainer.json Add devcontainer for development purposes (#7102) 2023-11-13 13:29:10 -05:00