use docker

2024-04-25 20:04:11 +02:00
parent a2fe5d5c82
commit 681fc21714
5 changed files with 34 additions and 54 deletions
--- a/6
+++ b/6
@ -0,0 +1,6 @@
+
+set -ex
+
+docker build -t grub-support .
+docker run --privileged --rm -v $PWD/output:/output --net=host -v /dev:/dev grub-support
+