diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-03-21 11:41:02 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-03-21 11:41:02 +0100 |
| commit | b0258ce1445bf72767bb208af26a2ca5effeac10 (patch) | |
| tree | 39617c4ad39d8cedbe52873019d3f62b52f73eee /debian/local/finish-install.d/51hurd_config-console | |
| parent | b8cb2ef042e22d6103bd9e44ea53314c1b909743 (diff) | |
sync with upstream packaging
Diffstat (limited to 'debian/local/finish-install.d/51hurd_config-console')
| -rwxr-xr-x | debian/local/finish-install.d/51hurd_config-console | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/debian/local/finish-install.d/51hurd_config-console b/debian/local/finish-install.d/51hurd_config-console index 03cc7697..55ea3d07 100755 --- a/debian/local/finish-install.d/51hurd_config-console +++ b/debian/local/finish-install.d/51hurd_config-console @@ -1,3 +1,19 @@ #!/bin/sh -[ -f /var/run/hurd-console.pid ] || sed -i -e "s/ENABLE='true'/ENABLE='false'/" /target/etc/default/hurd-console +if [ -f /var/run/hurd-console.pid ] +then + VGA_OPTIONS="" + for i in $(cat /proc/cmdline) ; do + case "$i" in + VGA_OPTIONS=*) + VGA_OPTIONS=${i#VGA_OPTIONS=} + ;; + esac + done + if [ -n "$VGA_OPTIONS" ] + then + sed -i -e "s/DISPLAY='-d vga'/DISPLAY='-d vga $VGA_OPTIONS'/" /target/etc/default/hurd-console + fi +else + sed -i -e "s/ENABLE='true'/ENABLE='false'/" /target/etc/default/hurd-console +fi |