diff options
| author | Pino Toscano <pino@debian.org> | 2013-02-24 23:57:52 +0100 |
|---|---|---|
| committer | Pino Toscano <pino@debian.org> | 2013-02-24 23:57:52 +0100 |
| commit | 593b130d0a6a76265500bdc0ed63bce723ed98c7 (patch) | |
| tree | c68f9534b87ffd7a482f06b30c187fc7252b7bf9 /debian/hurd-console.default | |
| parent | 3c1155fc2eacee3d34154905af7f40372caa4e15 (diff) | |
hurd-console.default: rename to hurd.hurd-console.default; let it be installed by dh_installinit
Diffstat (limited to 'debian/hurd-console.default')
| -rw-r--r-- | debian/hurd-console.default | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/debian/hurd-console.default b/debian/hurd-console.default deleted file mode 100644 index db67f3fa..00000000 --- a/debian/hurd-console.default +++ /dev/null @@ -1,31 +0,0 @@ -# Options to start the Hurd console. - -# Set this to 'false' to avoid running the Hurd console on bootup. -ENABLE='true' - -# The display driver, mandatory. Either `vga' or `ncursesw'. In the case of -# VGA, -f /some/where/file.bdf can be appended to load a specific font. -DISPLAY='-d vga' - -# The keyboard driver, mandatory. Either `pc_kbd' or `xkb' from the -# console-driver-xkb package. -KBD='-d pc_kbd' - -# this is bogus for a lot of cases, but the best we can do for now. -if [ -f /etc/default/keyboard ] -then - . /etc/default/keyboard -fi -[ -z "$XKBLAYOUT" ] || KBD="$KBD --keymap $XKBLAYOUT" - -# The keyboard repeater. Required for running X11. -KBD_REPEAT='--repeat=kbd' - -# The mouse driver. Optional. -MOUSE='-d pc_mouse --protocol=ps/2' - -# The mouse repeater. Required for running X11. -MOUSE_REPEAT='--repeat=mouse' - -# The pc speaker. Optional. -#SPEAKER='-d generic_speaker' |
