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/runsystem | |
| parent | b8cb2ef042e22d6103bd9e44ea53314c1b909743 (diff) | |
sync with upstream packaging
Diffstat (limited to 'debian/local/runsystem')
| -rwxr-xr-x | debian/local/runsystem | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/debian/local/runsystem b/debian/local/runsystem index a59ff716..ddb45270 100755 --- a/debian/local/runsystem +++ b/debian/local/runsystem @@ -14,7 +14,7 @@ mem=`vmstat-hurd --size -k` if [ "$mem" -lt 240000 ] then echo "You only have ${mem}KiB memory." - echo "Debian GNU/Hurd installation has not been optimized for memory usage yet, and thus currently needs at least 256MiB memory, sorry." + echo "Debian GNU/Hurd installation has not been optimized for memory usage yet, and thus currently needs at least 512MiB memory, sorry." while true do sleep 60 @@ -42,6 +42,9 @@ for i in $envvars ; do TERM=*) term=yes ;; + VGA_OPTIONS=*) + VGA_OPTIONS=${i#VGA_OPTIONS=} + ;; esac done @@ -63,7 +66,7 @@ then . /etc/default/keyboard [ -z "$XKBLAYOUT" ] || LAYOUT="--keymap $XKBLAYOUT" fi - console -d vga -g -d pc_kbd --repeat=kbd $LAYOUT -d pc_mouse --repeat=mouse -c /dev/vcs & + console -d vga -g $VGA_OPTIONS -d pc_kbd --repeat=kbd $LAYOUT -d pc_mouse --repeat=mouse -c /dev/vcs & echo $! > /var/run/hurd-console.pid wait echo |