From 059db48bf1f006f6ef0d4d4d94118ffb6fdbc462 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Fri, 3 Apr 2026 15:33:07 +0200
Subject: Make /dev/urandom available

---
 bwrap-files/start.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/bwrap-files/start.sh b/bwrap-files/start.sh
index 4eb049d..61c240e 100755
--- a/bwrap-files/start.sh
+++ b/bwrap-files/start.sh
@@ -29,6 +29,7 @@ args=(
   --setenv GHCUP_INSTALL_BASE_PREFIX "$(dirname "${ghcup_base}")"
   --proc /proc
   --dev-bind /dev/null /dev/null
+  --dev-bind /dev/urandom /dev/urandom
   --chdir "/workdir"
   --new-session
   --unshare-all
-- 
cgit v1.3