Since only one binary package is installed, remove unnecessary package name from...
authorBen Steffen <bds@mit.edu>
Sat, 7 Dec 2019 19:19:36 +0000 (14:19 -0500)
committerBen Steffen <bds@mit.edu>
Sat, 7 Dec 2019 19:20:49 +0000 (14:20 -0500)
commitd044f3d9519da351fba2eca7c58c51ad05bed88e
tree6853d556f6aa988ad1d48aec74abd4cc24e2ae8c
parent508a45dc0331dc68577b87d8f605a66f11fc4823
Since only one binary package is installed, remove unnecessary package name from some debian files
Also remove invirt-reload script, activate trigger invirt-reload instead
debian/dirs [moved from debian/invirt-base.dirs with 100% similarity]
debian/install [moved from debian/invirt-base.install with 100% similarity]
debian/invirt-base.triggers [deleted file]
debian/postinst [moved from debian/invirt-base.postinst with 81% similarity]
debian/triggers [new file with mode: 0644]
scripts/invirt-reload [deleted file]