Linux Mint 12 – Tips & tricks
Di default, Linux Mint 12 possiede un pannello in alto ed uno in basso:
Qualora foste abituati ad utilizzare un solo pannello, è possibile rimuovere quello inferiore ottenendo il menu e la lista finestre direttamente sul pannello superiore:
Per prima cosa, disabilitare il pannello:
– Dal menu, selezionare lo strumento launch “Impostazioni avanzate”
– Selezionare “Shell Extensions”
– Cercare “Bottom Panel Extension” e disabilitarlo
Occorre quindi riavviare Gnome Shell, per ricaricare le estensioni:
– Premere “Alt F2″
– Digitare “r” e quindi premere “Invio”
Ottenere pannelli, menu e lista finestre neri (come nella RC)
Linux Mint 12 include due nuovi temi: Mint-Z e Mint-Z-Dark.
Mint-Z assomiglia alle release precedenti di Linux Mint. Possiede un menu grigio, un pannello inferiore ed una lista finestre del medesimo colore.
Mint-Z-Black è il tema della RC di Linux Mint 12 ed ha menu, lista finestre e pannello inferiore neri.
Per scegliere tra questi due o per applicare ulteriori temi:
– Avviare “Impostazioni avanzate” dal menu
– Cliccare su “Temi”
– Cambiare il valore di “Tema della Shell” con ciò che desiderate
Riavviare Gnome Shell qualora fosse necessario
Gnome 3, Gnome Shell e MGSE sono teconologie decisamente nuove. Col tempo matureranno, acquisiranno funzionalità e stabilità.
Se Gnome comincia a funzionare lentamente, o se va in crash, sarà possibile riavviarlo senza chiudere le finestre già aperte, e senza effettuare il logout.
Per riavviare Gnome Shell effettuare queste semplici operazioni:
– Premere “Alt F2″
– Digitare “r”
– Premere“Invio”
Crescia