summaryrefslogtreecommitdiff
path: root/debian/local/finish-install.d
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2013-01-27 21:11:59 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-01-27 21:11:59 +0100
commite6678fbfcab1f1e52cf1dbb9975942332b564a02 (patch)
tree43a96ba910897266a14753d659abfd7961f786d1 /debian/local/finish-install.d
parent775fd48eafe2bdc98aa00683b4079fa5cc4093e8 (diff)
Disable the Hurd console on the installed system if installation was done without it.
Diffstat (limited to 'debian/local/finish-install.d')
-rwxr-xr-xdebian/local/finish-install.d/51hurd_config-console3
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/local/finish-install.d/51hurd_config-console b/debian/local/finish-install.d/51hurd_config-console
new file mode 100755
index 00000000..03cc7697
--- /dev/null
+++ b/debian/local/finish-install.d/51hurd_config-console
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+[ -f /var/run/hurd-console.pid ] || sed -i -e "s/ENABLE='true'/ENABLE='false'/" /target/etc/default/hurd-console