Rilasciata la versione 12.13 di Opera

Nella giornata di oggi é stata rilasciata la versione 12.13 di Opera.
Vediamo brevemente come installarla. Prima di tutto aggiungete il repository di Opera eseguendo da terminale il comando:

sudo add-apt-repository "deb http://deb.opera.com/opera/ stable non-free"

Quindi aggiungete la chiave GPG:

wget -O - http://deb.opera.com/archive.key | sudo apt-key add -

Poi installate Opera eseguendo:

sudo apt-get update & sudo apt-get install opera

Oppure se dovete semplicemente aggiornarlo eseguite:

sudo apt-get update & sudo apt-get dist-upgrade

Se invece avete bisogno dei pacchetti per altre distribuzioni potete scaricarli da questa pagina.
Se siete interessati alle modifiche e ai bugfix apportati con questa versione, potete consultare il changelog a questa pagina.