Don't be bored, do something!

Tag Archives: mint

Sound switcher per Ubuntu

Per chi utilizza diversi input/output all’interno della propria macchina, troverà sicuramente scomodo il fatto di dover switchare ogni volta dalle preferenze dell’audio. Possiamo utilizzare un semplice applet da utilizzare in maniera rapida. Apriamo un terminale e diamo: sudo apt-add-repository ppa:yktooo/ppa sudo apt-get update sudo apt-get install indicator-sound-switcher L’applet è stato testato in Ubuntu 12.04 e…

Read more

Ubuntu: installare VirtualBox via PPA

In precedenza abbiamo visto come installare VirtualBox tramite i pacchetti DEB, mentre oggi vedremo come installare la versione 4.3 tramite repository. Per prima cosa abbiamo bisogno di un pacchetto (dipendenza) che installiamo da terminale tramite: sudo apt-get install dkms In seguito, sempre da terminale, aggiungiamo la chiave per il repository: wget -q http://download.virtualbox.org/virtualbox/debian/oracle_vbox.asc -O- |…

Read more

Ubuntu: installare Skype via PPA

Oggi vedremo come installare Skype attraverso l’utilizzo di repository. I PPA in questione funzionano con sistemi operativi base Debian (Ubuntu, Mint, etc). La versione attuale di Skype è la 4.2. Ricordiamo che è possibile installare Skype anche attraverso i pacchetti DEB & RPM. Apriamo un terminale, digitiamo il comando che segue (a seconda della release…

Read more

Cinnamon su Ubuntu 12.04 Precise

Oggi vedremo come installare l’ambiente desktop Cinnamon su Ubuntu 12.04. Cinnamon è un ambiente desktop fork di GNOME Shell realizzato da Linux Mint, con un tradizionale layout del pannello di GNOME, composto da menù principale, vassoio di sistema e vari indicatori degli spazi di lavoro. Per installarlo su Ubuntu 12.04, apriamo un terminale e digitiamo:…

Read more
Back to top