summaryrefslogtreecommitdiff
path: root/Hurd
diff options
context:
space:
mode:
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.