diff options
| author | Joachim Nilsson <joachim@gnufans.org> | 2003-01-22 12:50:56 +0000 |
|---|---|---|
| committer | Joachim Nilsson <joachim@gnufans.org> | 2003-01-22 12:50:56 +0000 |
| commit | 3fad80711aeece2c45a3e5a5836a62af42006f46 (patch) | |
| tree | aa89668191d8fba69dea50d1201d9e8a9bb3b3eb | |
| parent | bc20a1238d681a03ba87c9c66e4dea71b440a786 (diff) | |
none
| -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. |