opam-repository-mingw icon indicating copy to clipboard operation
opam-repository-mingw copied to clipboard

allow install.sh to work offline

Open mroch opened this issue 3 years ago • 0 comments

i'm trying to use this behind a firewall using a cache of the mirror, but install.sh hits github to make sure curl works and to calculate the mirror scheme.

when --quiet, it doesn't show the mirror URL anyway, so I'd propose moving the mirror stuff below this line:

if [ $be_quiet -eq 1 ]; then
    exit 0
fi

and perhaps find a different way to test whether curl is working that doesn't hit the network?

mroch avatar Feb 17 '22 17:02 mroch