AltGr
commented
4 years ago Hm, it's weird, for any pinned package opam is supposed to have a cache of its latest sources at $OPAM_SWITCH_PREFIX/.opam-switch/sources/$PKGNAME ; these sources are indeed updated from upstream before install/reinstall/upgrade actions when the package is listed on the command-line, unless you specified --skip-update.
For removals, however, these updates are never necessary, so indeed the option shouldn't do anything.
I only tested on 2.1.0~beta2, but here is what I get after removing a pinned package's upstream:
$ opam upgrade ocp-index
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[ERROR] Could not synchronize $OPAM_SWITCH_PREFIX/.opam-switch/sources/ocp-index from "git+file:///tmp/ocp-index.x#master":
"/usr/bin/git fetch -q" exited with code 128
[ocp-index.1.2.1] fetching sources failed: git+file:///tmp/ocp-index.x#master
Already up-to-date.
Nothing to do.
$ opam upgrade ocp-index --skip
Already up-to-date.
Nothing to do.
$ opam remove ocp-index
The following actions will be performed:
⊘ remove ocp-browser 1.2.1* [uses ocp-index]
⊘ remove ocp-index 1.2.1*
===== ⊘ 2 =====
Do you want to continue? [Y/n] y
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
⊘ removed ocp-browser.1.2.1
⊘ removed ocp-index.1.2.1
Done.So there is no issue with either upgrade --skip-updates or remove ; with just upgrade, the download fails, but the command can still continue (useful for reinstall, for example). Of course, in your case it hangs rather than failing, which is more annoying...
NB: have you tried <enter> or ctrl-d when the downloading hangs ? We've had cases of downloads hanging that were actually silently waiting for input.
To conclude, at this point I don't know yet if this is fixed in 2.1 or if I just couldn't reproduce.
RalfJung
I have an opam package installed whose git URL is now dead.
opam uninstall coq-tlchangs forever, trying to download the latest sources:So I tried to add
--skip-updates, but that does not help either, it still updates the package! Looks like it is impossible to uninstall or update this package, so I will have to delete the switch and start over again?