Closed bixuanzju closed 8 years ago
Can you try getting to http://code.galois.com/darcs/haskell-platform/haskell-platform.cabal in your browser? If that works, can you try hoogle data
again?
@ndmitchell yes, I can get to it via my browser, but hoogle data
still not working
@bixuanzju can you get to it through curl? Do you have a proxy on your browser, and thus need to set $http_proxy
?
@ndmitchell It is quite strange. Here is when I clicked the url you provided
Then I refreshed the page, it said cannot connect to code.galois.com. And I don't think I have a proxy on my browser.
I suggest you try again later - perhaps the galois server is having issues.
I have this issues, too, I can't connect to galois server
@DavidFeng If you are in China, then blame it on GFW. You should use proxy (GoAgent for example) to get around.
@bixuanzju I have tested, it not about gfw thing~ I can't access the site in my vps, either. finally I git clone this repo and modify the address
diff --git a/src/Recipe/All.hs b/src/Recipe/All.hs
index a2509a1..1d60ea0 100644
--- a/src/Recipe/All.hs
+++ b/src/Recipe/All.hs
@@ -177,7 +177,7 @@ rules opts@Data{..} warn = do
urls :: CmdLine -> [(FilePath, URL)]
urls Data{..} = let (*) = (,) in
["keyword.htm" * "http://www.haskell.org/haskellwiki/Keywords"
- ,"platform.cabal" * "http://code.galois.com/darcs/haskell-platform/haskell-platform.cabal"
+ ,"platform.cabal" * "http://code.haskell.org/haskell-platform/haskell-platform.cabal"
,"base.txt" * "http://www.haskell.org/hoogle/base.txt"
,"cabal.tar.gz" * (hackage ++ "packages/index.tar.gz")
,"hoogle.tar.gz" * (hackage ++ "packages/hoogle.tar.gz")]
and use a local build hoogle, now hoogle works for me.
I suggest hoogle read this address in config file or command line, instead of in source code.
now I am busy, maybe some days later, I will send a pull request for this
If there are two locations where you can get the file from, I'd prefer the haskell.org one as a general principle then everything comes from one place. Rather than configurable, I'll just change over.
Every server has moved several times since the above reports, so I'm going to assume the new server locations, plus new HTTP libraries have fixed it in the dev version.
I think it can close now. Thanks for your efforts.
@ndmitchell I've also been having trouble fetching from code.galois.com
for the last few days.
% hoogle --version 1 ↵
Hoogle v4.2.41, (C) Neil Mitchell 2004-2012
http://haskell.org/hoogle
% hoogle data
Downloading downloads/platform.cabal
WARNING: Could not find command line program wget.
# platform.cabal (for downloads/platform.cabal)
curl: (7) Failed to connect to code.galois.com port 80: Operation timed out
hoogle: Error when running Shake build system:
* default.hoo
* platform.hoo
* platform.txt
* downloads/platform.cabal.cache
* downloads/platform.cabal
user error (Development.Shake.command, system command failed
Command: curl -sSL http://code.galois.com/darcs/haskell-platform/haskell-platform.cabal --output downloads/platform.cabal
Exit code: 7
Stderr:
curl: (7) Failed to connect to code.galois.com port 80: Operation timed out
)
What's the best way to work around this? Can I download from elsewhere manually? Is this something I could help document somewhere?
@filib the best thing to do is probably wait a further 24 hours - given Galois is a company, it's likely something has fallen over and they haven't noticed because its the weekend. If it persists after that I'll reach out to them.
With the dev version of Hoogle it doesn't use galois links at all, but that's not been released and isn't really working.
I am now using the patch in https://github.com/ndmitchell/hoogle/issues/24#issuecomment-38986800 - @filib - can you confirm it now works with version 4.2.42?
@ndmitchell sorry for the late reply, managed to catch the dreaded lurgy at the Haskell Exchange.
4.2.42 works a treat and it also looks like Galois have given their server a boot as 4.2.41 also works fine.
Thanks for the update 1 hope you have recovered now.
Below is when I ran
hoogle data
in command lineAlso I pinged 66.193.37.216, no package received.
PS: no problem with my internet connection