Addition: but even after successful compilation, the hash still didn't match
for me, probably because of what Thomas Leonard already mentioned (
https://github.com/mirage/qubes-mirage-firewall/pull/52 ). Can we get a 0.5.1
release? I'd contribute with a more step-by-step build instructions doc for
Qubes + Debian (no need for Fedora).
Q1: So you got through without the stange " mkdir: cannot create
directory '/home/opam/qubes-mirage-firewall/_build': Permission denied"
error at the final build that blocks me ?
Q2: How do you integrate the pull/52 into the qubes-mirage-firewall
folder without fiddling files by hand?
Cheers, Bernhard
‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐
On Monday, April 8, 2019 2:02 PM, 'qmirfw' via qubes-users
<[email protected]> wrote:
The docker container can't access the network. To solve change
docker build -t qubes-mirage-firewall .
to
docker build --network=host -t qubes-mirage-firewall .
in build-with-docker.sh .
This way the container shares the host network, which would be an antipattern,
but we are using throw away VMs anyway.
-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
You received this message because you are subscribed to the Google Groups
"qubes-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/qubes-users/0GONvMBO8vB8TDLM1Q23wBp_xR43tsL-T5-FCkrE2tMxtNJ6CLFs5VMi4CvgbeQ48wh4onn-8YmygB_jPPqTPuDylV4oDr1TBatgvCoPtbw%3D%40protonmail.com.
For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups
"qubes-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/qubes-users/2fbd61a6-b14e-eb37-e946-1fe774ab3641%40web.de.
For more options, visit https://groups.google.com/d/optout.
