diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2023-07-26 00:15:39 +0200 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2023-07-26 00:15:39 +0200 |
commit | 31a88fad5c6d28008a92e7ce7111590ef0812956 (patch) | |
tree | 878e0757c64d223b64a0e6381321e6a1da6a56e6 /debian | |
parent | debian/Makefile: move the prelude to prelude.mk (diff) | |
download | linux-status-31a88fad5c6d28008a92e7ce7111590ef0812956.tar.gz linux-status-31a88fad5c6d28008a92e7ce7111590ef0812956.zip |
debian/README: update
Diffstat (limited to 'debian')
-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 4bb5610..f85278f 100644 --- a/debian/README.Debian +++ b/debian/README.Debian @@ -2,7 +2,8 @@ linux-status 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> Mon, 08 Mar 2021 07:33:14 +0000 |