diff options
Diffstat (limited to 'Hurd/HurdConsole.mdwn')
| -rw-r--r-- | Hurd/HurdConsole.mdwn | 4 |
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. |