Closed kit-ty-kate closed 3 years ago
in yum, update is an alias to upgrade...
Source for solution: https://unix.stackexchange.com/questions/6252/what-is-yum-equivalent-of-apt-get-update
[only tested on oraclelinux8 for now, I need to test it elsewhere first]
This is what opam 2.1 does (see opamSysInteract.ml#L660), so I think this is good to merge.
in yum, update is an alias to upgrade...
Source for solution: https://unix.stackexchange.com/questions/6252/what-is-yum-equivalent-of-apt-get-update
[only tested on oraclelinux8 for now, I need to test it elsewhere first]