Cabal için proxy'yi nasıl ayarlarım?


9

(Windows) proxy arkasında Ubuntu kullanıyorum. cabalYardımcı programı kullanmak istiyorum .

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

Proxy URL'si ortamdan okundu. Proxy'm kimlik doğrulaması gerektiriyor, ancak cabal proxy URL'sinin bir ana bilgisayar adıyla başlamasını istiyor, bu yüzden belki de kimlik bilgilerini isteyecektir ...

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)"'

Nedir setAuthorityGenve nasıl kullanılır? Daha da önemlisi, kimlik doğrulama proxy'si aracılığıyla erişimi etkinleştirebilir miyim? Tünel açmam gerekecek mi?


Benzer bir sorun yaşıyorum. Bir çözüm bulursanız lütfen bize bildirin.
Dilawar

@Dilawar Bugtracker'da bir bilet var hackage.haskell.org/trac/hackage/ticket/855
Artem Koshelev

Yanıtlar:


2

ISA proxy'lerine standart yaklaşımım, cntlm gibi yerel bir kimlik doğrulama proxy'si yapılandırmaktır . Ubuntu makinenize cntlm yükledikten sonra, Windows kullanıcı adınız ve parolanızla ISA proxy'sinde NTLM aracılığıyla kimlik doğrulaması yapacak şekilde yapılandırın. Daha sonra HTTP_PROXYdeğişkeni http://localhost:3128(cntlm'nin dinlediği bağlantı noktası) olarak ayarlayın.

Bu yaklaşımın avantajı, yalnızca bir programın Windows proxy ile uğraşması gerektiğidir. Diğer tüm programlar ağ geçidi olarak cntlm kullanarak geçebilir.



0

Polipo ile çalıştım . Üniversitem http-proxykimlik doğrulaması ile kullanıyor . Gelen /etc/polipo/configEğer bu satırları eklemeniz gerekir

parentProxy = "proxy.server.com:80"
parentAuthCredentials = "myusername:mypassword"

Ve ihracat http_proxy=http://localhost:8123". Ve bir cazibe gibi çalıştı.

Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.