diff options
Diffstat (limited to 'debian/README.Debian')
| -rw-r--r-- | debian/README.Debian | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/debian/README.Debian b/debian/README.Debian index 0a1f9b4..a993681 100644 --- a/debian/README.Debian +++ b/debian/README.Debian @@ -1,9 +1,8 @@ config-links for Debian ---------------------- -There's a Vagrantfile to make maintenance easier. To start, use `vagrant up`, -then `vagrant ssh`. The project will be in /vagrant; kill the VM using -`vagrant destroy -f` when you're done. +There's a Dockerfile to make maintenance easier. To start, run `make docker`; +on exit from the shell, the container will be brought down. There're a bunch of useful one-liners in Makefile. Everything is built in debian/build-area/. |