| Linux Mint 12: trucchi per migliorarla e personalizzarla |
|
|
|
| Giovedì 01 Dicembre 2011 11:00 |
|
Di default su Firefox è impostato il motore di ricerca DuckDuckGo, che, seppur buono, molti preferiscono rimpiazzare col caro vecchio Google. Per farlo aprite Firefox, cliccate sulla freccetta accanto al logo con la papera (nel box di ricerca a destra) e poi su “Mange Search Engines”. Cliccate su “Get more search engines” e in basso trovate una piccolissima icona di Google su cui cliccare. Appena si apre la pagina col titolo “Google in Linux Mint” cliccate nuovamente sulla freccetta in alto a destra e questa volta apparirà “Add Google” su cui cliccare. Tornando a cliccare su Manage Search Engines ci sarà Google, cliccateci sopra e fate Move Up fino a portarlo in cima.
Se la doppia barra non vi piace potete tenere solo quella di sopra, mettendoci anche le finestre ridotte a icona.
Se preferite un bel nero che contrasti con lo sfondo chiaro (come nella versione RC di Mint 12) vi basta mettere il tema Mint-Z-Black.
Se avete messo Mint su una macchina virtuale le scarse prestazioni grafiche impediranno l’uso di Gnome Shell. Il tutto è comunque ovviabile con una semplice configurazione di Virtualbox.
La versione CD è stata alleggerita per farla entrare in un disco che non sia un DVD, ma possiamo installare tutto quel che manca tramite internet. Per i programmi come Gimp e simili non sto qui a dirvi che dovete aprire il gestore applicazioni e cercarli, ma ecco invece come installare il fantastico menù MATE.
Entrambi i problemi sono dovuti all’utilizzo di temi incompatibili con MATE (sviluppati per vecchie versioni di Mint). In questo caso è sufficiente cambiare tema. Vi ricordiamo che quelli sicuramente funzionanti sono Mint-Z-Mate, Mint-Z-Black, Carbon.
Se questo articolo ti è stato utile considera la possibilità di fare una donazione :) |







Proprio ieri vi ho parlato del

