Ya se acabaron las vacaciones, y también hay que volver a hacer funcionar un poquito el blog. Por eso hoy voy a empezar diciendo cómo instalar otro navegador, aparte de Firefox o de Google Chrome. Instalaremos Opera 10.
Lo haremos de dos formas:
Por medio de paquete .deb:
Descarga* | Opera 10.00 | Página oficial
Lo descargamos y lo instalamos
*Nota: Mira en la página oficial para ver las descargas disponibles
Por medio de repositorios:
Abrimos la terminal en Aplicaciones > Accesorios > Terminal y tecleamos para obtener la llave pública:
wget -O - http://deb.opera.com/archive.key | sudo apt-key add -
Ahora añadimos los repositorios y los actualizamos:
echo "deb http://deb.opera.com/opera etch non-free" | sudo tee -a /etc/apt/sources.list.d/opera.list && sudo apt-get update
y lo instalamos con:
sudo apt-get install opera
Nota: Para copiar a la terminal recuerda que debemos pulsar la tecla Mayús.