diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-01-27 21:11:59 +0100 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-01-27 21:11:59 +0100 |
commit | e6678fbfcab1f1e52cf1dbb9975942332b564a02 (patch) | |
tree | 43a96ba910897266a14753d659abfd7961f786d1 /debian/local/finish-install.d | |
parent | 775fd48eafe2bdc98aa00683b4079fa5cc4093e8 (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-x | debian/local/finish-install.d/51hurd_config-console | 3 |
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 |