diff options
Diffstat (limited to '')
| -rw-r--r-- | debian/README.Debian | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/debian/README.Debian b/debian/README.Debian index 1f259f7..e3ad8ba 100644 --- a/debian/README.Debian +++ b/debian/README.Debian @@ -2,7 +2,8 @@ config-links for Debian ---------------------- There's a Vagrantfile to make maintenance easier. To start, use `vagrant up`, -then `vagrant ssh`. +then `vagrant ssh`. The project will be in /vagrant; kill the VM using +`vagrant destroy -f` when you're done. There're a bunch of useful one-liners in Makefile. Everything is built in debian/build-area/. @@ -46,9 +47,9 @@ debian/build-area/. * Make a binary package using pbuilder (useful for testing that the package builds on a particular distribution): - make dist/create DIST=focal - make dist/update DIST=focal - make dist DIST=focal - make dist/test DIST=focal # Ignores uncommitted changes. + make DIST=focal dist/create + make DIST=focal dist/update + make DIST=focal dist + make DIST=focal dist/test # Ignores uncommitted changes. -- Egor Tensin <Egor.Tensin@gmail.com> Wed, 28 Apr 2021 21:14:04 +0000 |