Configurando Wget con proxy

Si estamos conectados por el explorador al proxy pero no conocemos la IP.

En Windows ponemos:

net stat

Entre toda la salida que nos pone estan los datos de la URL y el puerto del proxy.

Para configurar en Windows (cuando no tiene usuario y contraseña):

set http_proxy=http://"":""@fwids2.ids.com.mx:8080

Para configurar en Windows (cuando si tiene usuario y contraseña)

set http_proxy=http://usuario:contrasenia@fwids2.ids.com.mx:8080

En linux es equivalente pero en lugar de SET se usa export