summaryrefslogtreecommitdiff
path: root/debian/debvm.install
diff options
context:
space:
mode:
authorHelmut Grohne <helmut@subdivi.de>2023-01-18 11:42:54 +0100
committerHelmut Grohne <helmut@subdivi.de>2023-01-18 11:42:54 +0100
commitdc22b016b2a27b722afcfb30e8ec34ae185c009a (patch)
treea150d4af17443c0f8f4424b5096a69cf27307427 /debian/debvm.install
parentc80d86802d2fc018834f87cbb32e896249438736 (diff)
parent4f89cae5b63b09d0109fb33788fb379d98658175 (diff)
downloaddebvm-dc22b016b2a27b722afcfb30e8ec34ae185c009a.tar.gz
Merge branch debian into main
Thus, don't do Debian releases that would be separate from upstream releases.
Diffstat (limited to 'debian/debvm.install')
-rw-r--r--debian/debvm.install3
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/debvm.install b/debian/debvm.install
new file mode 100644
index 0000000..c091796
--- /dev/null
+++ b/debian/debvm.install
@@ -0,0 +1,3 @@
+debvm-create usr/bin
+debvm-run usr/bin
+9pmounthook/* usr/share/mmdebstrap/9pmount