Estoy usando Ubuntu detrás de un proxy (Windows). Me gustaría usar la cabal
utilidad.
jem@Respect:~$ cabal update
Config file path source is default config file.
Config file /home/jem/.cabal/config not found.
Writing default configuration to /home/jem/.cabal/config
Downloading the latest package list from hackage.haskell.org
Warning: invalid http proxy uri:
"http://domain\\user:pass@internetproxy:3128/"
Warning: proxy uri must be http with a hostname
Warning: ignoring http proxy, trying a direct connection
^C
La URL del proxy se ha leído desde el entorno. Mi proxy requiere autenticación, pero Cabal quiere que la URL del proxy comience con un nombre de host, por lo que tal vez me solicite credenciales ...
jem@Respect:~$ http_proxy=http://internetproxy:3128/ cabal update
Downloading the latest package list from hackage.haskell.org
No action for prompting/generating user+password credentials provided (use: setAuthorityGen); returning Nothing
cabal: Failed to download index 'ErrorMisc "Unsucessful HTTP code: (4,0,7)"'
¿Qué es setAuthorityGen
y cómo lo uso? Más importante aún, ¿puedo habilitar el acceso a través del proxy de autenticación? ¿Necesitaré hacer un túnel?