Tool to manage disposable development environments (devboxes) Devboxes are docker containers starting into a shell. All devboxes are 'namespaced' in docker via a common name prefix ($DOCKER_PREFIX).
A custom docker image with all your settings is recommended.
- docker
- jq
- optional: load
bash_completein your bash profile
copy devboxrc to ~/.devboxrc and adjust to your needs
normal usage:
devbox create foo
# after quitting the shell
devbox list
devbox rm foo
other image:
devbox create foo debian/testing
remove devbox after shell quits:
devbox create foo --rm
build and use custom devbox
devbox build devbox_base https://github.com/koelnconcert/devbox.git # or local path
devbox create my devbox_base