7 Commits

Author SHA1 Message Date
Jairo Llopis
67cc4ffde3
feat: nix support
- Provide a dev shell.
- Provide a nix package.
- Provide a nix flake.
- Development environment based on direnv.
- Docs.
- Configure Gitpod to use direnv and nix.
- Configure Cachix out of the box, and document how to use it.
- Add direnv and nix to CI.
- Satisfy some linters that came from Precommix, even when Precommix was later discarded.
- Mark some tests as impure.
- Run only pure tests when building Copier with Nix.
- Add poetry loader to direnv.
- Update contribution guide.
2023-01-18 09:40:08 +00:00
Jairo Llopis
0c5a25157d build(gitpod): recommend mermaid markdown plugin
This allows to preview the mermaid chart in docs while writing it in VSCode.
2021-04-20 07:21:36 +01:00
Yajo
bbdbeb86c3 build: better gitpod and vscode UX
These days, Gitpod supports VSCode workspaces instead of only Theia.

Theia understands settings under `.vscode` as well as under `.theia`, but VSCode only understands settings under `.vscode`. Thus, it seems reasonable to move settings to that new location and then provide a good UX on both local VSCode and Gitpod's.

I also install new tools such as commitizen.

The goal is that just clicking on Gitpod badge, you have a full dev environment ready to hack.
2021-04-15 17:46:24 +01:00
Jairo Llopis
5c8751a840 Remove docs from dev dependenies
https://github.com/python-poetry/poetry/issues/2555 was fixed, so we should be able to use `poetry install -E docs`.
2020-10-16 11:47:57 +00:00
Yajo
a06ca18d7f Fix gitpod configuration
- Install basic development tools and configure them to work out of the box, based on gitpod's official ubuntu docker image.
- Disable $PIP_USER=yes, hardcoded by gitpod and unfriendly with poetry and pre-commit.
- Make Fish shell available.
- Add some basic settings.
- Add instructions to CONTRIBUTING.
2020-09-30 15:29:53 +01:00
Jairo Llopis
e28a20ac6c
Remove buggy image
It seems gitpod is only compatible with ubuntu/debian/alpine images.
2020-09-29 17:44:12 +01:00
Yajo
8fee9dfe07 Configure gitpod
Allow contributors to start hacking right away with a single click.
2020-09-29 16:37:14 +00:00