remove -C option from yum#4790
Conversation
|
This PR is fine on its own, however it comes at the cost of non-predictible performance each time opam is called. The original failure is a main concerned howover as we parse the output Do you have a reproducible case using docker or something similar, so we can check it out? Are you sure that removing |
The main issue seems to be that a
I tried with Note that even though the repo seems not to work with From an opam user experience perspective, I am not sure depending on a cache behaviour of
Yes, it seems to solve the issue, just executing Also the error messages (opam interactions) are only visible when issueing I am not very familiar with docker so haven't tried the docker route. |
|
I was able to reproduce something similar with the following Dockerfile: In this particular case, removing the |
|
Given I will propose another solution to the issue by simply removing the detection of available packages and only relying on the list of installed packages using |
|
Alternative fix available in #4791. Feel free to comment there |
|
Closing in favor to #4791 |
|
Thank you for the PR, and for highlighting the issue! |
opam 2.1 issuing
yum -q -C listin red hat linux 8.4 seems to be problematic. Consider the followingWe continue with
yandyum -q -C listfails due to some cache issue (- Error: Cache-only enabled but no cache for 'pgdg-common') andopam upgradefails.The UX experience is even worse if one only issues
opam upgrade. In the latter case the command never completes because it is waiting for user input.This PR fixes this use case by removing
-Coption fromyum -q listand this seems to handle this error case correctly.