Open kit-ty-kate opened 3 years ago
Another option would be to maintain the current state (some do, some don’t), but expose it as a global option. I would expect that if a user wishes to install with --update-depexts
once, they probably want to use it every time (so a setting would be preferable)
Currently the behaviours of opam-depext regarding system database upgrades (e.g.
apt update
on Debian) is completely different accross platforms:It could be interesting to unify all these different behaviours in one way or another. I have no specific opinions about that personally but I'd like to get the discussion going. Here is some pro and cons about unifying in one way or the other:
Make everything download the database every time
Download failed, error 404 on m4.1.4.18-5.tar.gz
type failures.Make everything download the database only when it's been too long
Make everything not download the database
opam update --depexts
first.After writing everything down I feel more inclined to the latest with maybe a new
opam install -u/--update-depexts
for a more streamline way of updating the local database.