【问题标题】:Command `hoogle data` fails to download base.txt命令“hoogle data”下载base.txt失败
【发布时间】:2015-02-14 09:36:21
【问题描述】:

这是hoogle data的输出:

Downloading downloads/platform.cabal
# platform.cabal (for downloads/platform.cabal)
2015-02-10 19:44:01 URL:http://code.galois.com/darcs/haskell-platform/haskell-platform.cabal [3334/3334] -> downloads/platform.cabal [1]
Downloaded downloads/platform.cabal
Downloading downloads/cabal.tar.gz
# cabal.tar.gz (for downloads/cabal.tar.gz)
2015-02-10 19:44:09 URL:http://hackage.haskell.org/packages/index.tar.gz [8794998/8794998] -> downloads/cabal.tar.gz [1]
Downloaded downloads/cabal.tar.gz
# cabal.tar (for downloads/cabal.tar)
Extracting tar file downloads/cabal.index
# cabal.tar (for downloads/cabal.index)
Finished extracting tar file downloads/cabal.index
# cabal.tar (for downloads/cabal.index)
Downloading downloads/hoogle.tar.gz
# hoogle.tar.gz (for downloads/hoogle.tar.gz)
2015-02-10 19:44:38 URL:http://hackage.haskell.org/packages/hoogle.tar.gz [20734807/20734807] -> downloads/hoogle.tar.gz [1]
Downloaded downloads/hoogle.tar.gz
# hoogle.tar (for downloads/hoogle.tar)
Extracting tar file downloads/hoogle.index
# hoogle.tar (for downloads/hoogle.index)
Finished extracting tar file downloads/hoogle.index
# hoogle.tar (for downloads/hoogle.index)
Downloading downloads/base.txt
# base.txt (for downloads/base.txt)
hoogle: Error when running Shake build system:
* default.hoo
* platform.hoo
* mtl.hoo
* base.txt
* downloads/base.txt.cache
* downloads/base.txt
user error (Development.Shake.command, system command failed
Command: wget -nv --no-check-certificate http://www.haskell.org/hoogle/base.txt --output-document=downloads/base.txt
Exit code: 4
Stderr was empty)

在 Google 上搜索没有产生任何有用的结果。浏览器无法解析http://www.haskell.org/hoogle/base.txt,所以我猜它宕机了?有什么解决办法吗?

【问题讨论】:

    标签: haskell hoogle


    【解决方案1】:

    wget 退出代码 4 indicates a network error

    网址在我的浏览器中加载正常,但是重定向到 HTTPS。

    如果你直接运行它正在执行的wget 命令,你会得到更多信息吗?

    【讨论】:

    • 奇怪的是,现在我在家里试了一下,效果很好。所以我怀疑这是我的网络错误!三天后我可以再试一次。
    猜你喜欢
    • 2015-02-04
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 2014-04-03
    • 2021-04-05
    • 2021-06-30
    • 1970-01-01
    相关资源
    最近更新 更多