back

Qualora si desiderasse impostare il font predefinito /lib/hurd/fonts/vga-system.bdf, è possibile sovrascriverlo con quello desiderato. Inoltre, nel percorso /lib/hurd/fonts/ è possibile aggiungere due ulteriori file (vga-system-bold.bdf e vga-system-italic.bdf) corrispondenti ai font di default per le opzioni --font-bold e --font-italic del driver VGA.

Configurazione del "locale"

La corretta rappresentazione del set caratteri prescelto per la configurazione del server della console hurd richiede anche la configurazione del locale per l'installazione Debian/Hurd. A tal file, è possibile prelevare il pacchetto locales dai repository Debian con il comando:

# apt-get update
# apt-get install locales

oppure, se il pacchetto è già installato, se ne può modificare la configurazione, con il comando:

# dpkg-reconfigure locales

In fase di installazione (o riconfigurazione), è possibile scegliere il locale che si desidera utilizzare tra quelli supportati. Si ricorda brevemente che locale è il termine con il quale ci si riferisce ad "un insieme di parametri che definiscono il linguaggio, il paese e le preferenze che l'utente desidera viualizzare nella propria interfaccia" [5]. Tali parametri sono rappresentati da un identificatore che si compone di tre parti, nel formato:

[language[_territory][.codeset]@modifier 

dove:

  • "language" rappresenta la lingua in uso nel paese espressa secondo la codifica internazionale a due caratteri ed in minuscolo;
  • "territory" rappresenta la nazione in cui il linguaggio è in uso secondo la codifica internazionale a due caratteri in maiuscolo;
  • "codeset" rappresenta il set di caratteri desiderato

I locale supportati per l'Italia dal pacchetto locales per Debian/Hurd sono verificabili consultando il file /usr/share/i18n/SUPPORTED, ad esempio, con il comando:

$ grep _IT /usr/share/i18n/SUPPORTED

il cui risultato è:

it_IT.UTF-8 UTF-8
it_IT ISO-8859-1
it_IT@euro ISO-8859-15
back