Muchas redes de empresas y universidades permiten el acceso a Internet únicamente a través de un proxy. Algunas de ellas, en lugar de dar la dirección del proxy, proporcionan una dirección del tipo http://dominio.com/proxy.pac.
Configurar los navegadores es fácil, ya que permiten usar scripts de configuración de proxy, pero Synaptic (gestor de paquetes de Ubuntu y otras distribuciones GNU/Linux) no permite configurar el acceso a la red a través de un script de configuración. Entonces, ¿Cómo usamos Synaptic en estas redes?
Los ficheros proxy.pac suelen ser simples ficheros de texto que “deducen” cual es el proxy que se debe utilizar. Pueden ser muy complejos o muy sencillos, pero en ellos siempre encontrarás la dirección IP y el puerto del proxy que deberías utilizar.
Como Synaptic no permite especificar cuál es el archivo proxy.pac de nuestra red, tenemos que averiguar la IP y el puerto de nuestro proxy para ponerlo en las Preferencias de red del programa. Para hacer esto, tenemos que descargar el fichero usando cualquier navegador y abrirlo con un editor de textos. Un ejemplo de fichero podría ser:
function FindProxyForURL(url, host) { if (isPlainHostName(host) || dnsDomainIs(host, ".dominio") || isInNet(host, "192.168.10.0", "255.255.255.0")) return "DIRECT"; else return "PROXY 192.168.10.1:3128"; }
Como se puede comprobar, la dirección del proxy en este caso sería 192.168.10.1 y el puerto sería el 3128. Tan solo hace falta introducir estos datos en nuestra configuración de Synaptic y probablemente ya funcione (al menos a mi me funciona).
A veces encontrar nuestra IP no resulta tan trivial, puesto que hay ficheros de configuración mucho más complejos y con muchas direcciones de proxy diferentes. En este caso, siempre podemos intentar comprender el código y deducir cuál sería nuestro caso.
El ejemplo más típico en una empresa es el de un proxy para cada ciudad, para cada departamento, etc. En tal caso, si el fichero .pac está bien comentado no habrá problemas para encontrar nuestra dirección. Si no lo consigues, siempre puedes preguntar al administrador de la red, a IT, a sistemas, o como se llame en tu caso.
¿Conoces alguna forma más sencilla de hacerlo?
También te pueden interesar:
- Ver videos en Justin.tv sin cuenta premium
Si alguna vez has querido ver el fútbol en directo a través de Justin.tv, es posible que te hayas encontrado con un mensaje que te... - Cómo instalar WordPress en local en Ubuntu 8.10 (5 pasos)
A raíz del post de despuésdegoogle hemos decidido publicar el método que usamos nosotros para instalar WordPress en un servidor local con Ubuntu Intrepid Ibex... - Jugando con Spotify
Desde que probé Spotify hace un mes no paro de descubrir más aspectos interesantes del mismo. Spotify es para mi el mejor programa del año... - Por qué me gusta Ubuntu (o GNU/Linux) II
Hoy estaba usando mi ordenador de sobremesa y he notado que el sistema iba un poco lento. Como siempre tenía mis 30-50 pestañas de Firefox... - Dropbox: sincroniza ficheros entre ordenadores
Dropbox es un programa para Windows, Linux i Mac. Con dropbox podemos sincronizar nuestros archivos entre ordenadores diferentes. Lo he estado probando durante una semana...
