Istnieje wiele możliwości. Obawiam się, że prawdopodobnie muszę porozmawiać z twoim działem IT.
Jest smak uwierzytelniania NTLM zapory zwany że Cabal nie obsługuje. Jest to zastrzeżona przez Microsoft cecha, że jest obsługiwany tylko przez Internet Explorera (co trochę obejmuje i rozciąga się między przyjaciółmi?).
Zgodnie z sugestią, może być tak, że zapora sieciowa blokuje pliki gzip , a może nawet zagląda do nich i widzi kod wykonywalny . Możesz to sprawdzić, próbując pobrać pojedynczą paczkę z przeglądarką internetową: jeśli treść jest zablokowana, zostanie wyświetlony komunikat informujący o tym i możesz porozmawiać z działem IT o odblokowaniu tego.
Alternatywnie można zrobić to, co zrobiłem: pobrać opisy pakietów i całe archiwum z najnowszymi wersjami z domu, zabrać go do pracy na dysku zip, i skonfigurować go jako lokalne repozytorium Cabal Install. Przepraszam, ale minęło trochę czasu i nie pamiętam dokładnie jak, ale potrzebujesz obu plików.
Czy masz połączenie z internetem? Czy potrzebujesz serwera proxy w pracy? – fuz
Zgodnie z http://stackoverflow.com/questions/1551053/how-do-i-get-cabal-to-bypass-my-windows-proxy-settings, Cabal automatycznie wykrywa ustawienia proxy. Czy twoja firma blokuje pliki gzip? –
Udało mi się pobrać kilka plików gzip bezpośrednio z hackage, więc nie powinno to być problemem. –