[root@buildvm /]# curl https://push.openmamba.org/pub/openmamba/base/SRPMS.base/
curl: (6) Could not resolve host: push.openmamba.org (Timeout while contacting DNS servers)
You guessed right
This is a Docker issue. If your Docker host is openmamba I can suggest to restart it on the host:
sudo systemctl restart docker.
Possible checks in the running container are the nameservers set in the file /etc/resolv.conf by checking and pinging directly the IP address, by the way this kind of problem when I've seen it is usually some sort of problem in docker network interfaces which gets solved when restarting the host service.
The docker host is openmamba. You were right, restarting the daemon seemed to fix the issue. But this fix was short-lived, after loading the list of packages and attempting an "unpack and edit", this issue reappears.
[root@buildvm /]# curl https://push.openmamba.org/pub/openmamba/base/SRPMS.base/
curl: (6) Could not resolve host: push.openmamba.org (Timeout while contacting DNS servers)
But it does resolve the google domain.
[root@buildvm /]# curl google.com
<HTML><HEAD><meta http-equiv="content-type" content="text/html;charset=utf-8">
<TITLE>301 Moved</TITLE></HEAD><BODY>
<H1>301 Moved</H1>
The document has moved
<A HREF="" http://www.google.com/">here</A> ."
</BODY></HTML>
I am suspecting something is up with resolvectl and docker
I have manually edited the /etc/resolv.conf inside the container and the issues were resolved.
I have now a new issue here: https://pastebin.com/x8kaGuuV
It looks like it cannot find the required packages to build.
P.S. I couldn't submit more information before, somehow the forum limited me
The issue is not a real issue, it was fixed by installing flex manually in the container.
I am not allowed to modify the message so I must reply here.
