Versione del 6 ott 2012 alle 17:48 di Vuott(discussione | contributi)(Nuova pagina: E' possibile modificare il font dei caratteri, i colori ed altri aspetti del terminale apportando le necessarie modifiche al file (nascosto) ''~/.bashrc''. Si riportano di seguito al...)
E' possibile modificare il font dei caratteri, i colori ed altri aspetti del terminale apportando le necessarie modifiche al file (nascosto) ~/.bashrc.
Si riportano di seguito alcuni indirizzi WEB di siti che trattano di questo argomento: