summaryrefslogtreecommitdiff
path: root/Hurd
diff options
context:
space:
mode:
authorJoachim Nilsson <joachim@gnufans.org>2003-01-22 12:50:56 +0000
committerJoachim Nilsson <joachim@gnufans.org>2003-01-22 12:50:56 +0000
commit3fad80711aeece2c45a3e5a5836a62af42006f46 (patch)
treeaa89668191d8fba69dea50d1201d9e8a9bb3b3eb /Hurd
parentbc20a1238d681a03ba87c9c66e4dea71b440a786 (diff)
none
Diffstat (limited to 'Hurd')
-rw-r--r--Hurd/HurdConsole.mdwn4
1 files changed, 2 insertions, 2 deletions
diff --git a/Hurd/HurdConsole.mdwn b/Hurd/HurdConsole.mdwn
index 0814cab9..1fc81261 100644
--- a/Hurd/HurdConsole.mdwn
+++ b/Hurd/HurdConsole.mdwn
@@ -125,11 +125,11 @@ Now, load the font by providing it with the #--font# option to the vga driver. I
So, try the following:
- # console -d vga --font 8x13.bdf -d pc_kbd -d generic_speaker /dev/vts
+ # console -d vga --font 8x13.bdf -d pc_kbd -d generic_speaker /dev/vcs
or
- # console -d vga --font 9x15.bdf -d pc_kbd -d generic_speaker /dev/vts
+ # console -d vga --font 9x15.bdf -d pc_kbd -d generic_speaker /dev/vcs
If you are satisfied, copy your default font to `/lib/hurd/fonts/vga-system.bdf`, where it will be picked up automatically in favor to the graphic card's font.