Los ficheros de configuración de Opera (arranque, iconos, menú, etc.. etc..) se almacenan en archivos editables .ini en la ruta de instalación de Opera que en Linux sería /usr/share/opera/ini y que para Windows estaría en la ruta en C:\Archivos de programa\Opera\…
En concreto yo he estado probando a modificar los menú de acceso rápido para poder crear una forma fácil de cambiar de proxy sin necesidad de tener que bajarme ningún add-on o software de terceros.
El archivo donde se almacenan los datos que hacen referencia a menú es el «standard_menu.ini» . Como veremos más adelante podremos también modificar los atajos de teclado para que no haya conflicto con ningún otro software que tengamos instalado en el sistema.
Editamos el archivo standard_menu.ini y nos encontramos con esto:
Item, 52216 = Enable proxy servers | Disable proxy servers
Sería lo suyo meter ahi los proxy que queramos y poder cambiar entre ellos con un clic no?, pues editamos el archivo y debajo de esa entrada creamos la nuestra:
Item, «HTTP 192.168.1.2:8080» = Set preference, «Proxy|HTTP server=192.168.1.2:8080
Item, «HTTP 192.168.1.3:9090» = Set preference, «Proxy|HTTP server=192.168.1.3:9090
Lo único que tendríamos que hacer es modificar la IP que se muestra por la ip o ip’s de los proxy que queramos añadir, no hay límite.
El menú rápido se abre pulsando F12, pero en mi caso entra en conflicto con «Terminator» un emulador de terminal para KDE que me funciona muy bien.
Así que para que no entre en conflicto lo que he hecho es modificar la tecla de acceso al menú rápido de Opera, por defecto ya digo que es F12 y yo lo voy a cambiar a F10, que está desocupado.
Lo que tenemos que hacer es editar otro .ini, esta vez el «standard_keyboard.ini» .
Hago un grep del archivo y vemos las líneas que tenemos que modificar, sólamente debemos cambiar el F12 a la tecla o combinación de teclas que queramos, yo como veis tengo F10.
Platform Windows-Unix-MCE, F10 = Show popup menu, «Quick Preferences Menu»
Platform Windows-Unix-MCE, F10 shift = Customize toolbars, -1
Platform Mac, F10 alt = Show popup menu, «Quick Preferences Menu»
Platform Mac, F10 alt shift = Customize toolbars, -1
Pues ya tenemos nuestro Opera configurado, ahora al pulsar F10 en cualquier página podremos modificar el proxy en tiempo real.
Este documento hace referencia a la configuración de Opera 9.27 en Ubuntu Hardy.