From 1ff5e1a33b12dfe939ff7ddc5fbe881c28ec7b78 Mon Sep 17 00:00:00 2001
From: Matt Sturgeon <matt@sturgeon.me.uk>
Date: Wed, 21 May 2025 17:40:17 +0100
Subject: [PATCH] docs/server: open browser using xdg-open

---
 docs/server/default.nix | 4 +++-
 docs/server/server.py   | 2 ++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/docs/server/default.nix b/docs/server/default.nix
index 04a931c1..b713bfee 100644
--- a/docs/server/default.nix
+++ b/docs/server/default.nix
@@ -3,6 +3,7 @@
   runCommand,
   makeBinaryWrapper,
   python3,
+  xdg-utils,
   docs,
 }:
 runCommand "serve-docs"
@@ -15,5 +16,6 @@ runCommand "serve-docs"
     makeWrapper ${lib.getExe python3} \
         $out/bin/server \
         --add-flags ${./server.py} \
-        --chdir ${docs}
+        --chdir ${docs} \
+        --prefix PATH : ${lib.makeBinPath [ xdg-utils ]}
   ''
diff --git a/docs/server/server.py b/docs/server/server.py
index 2bb780e0..f6642888 100644
--- a/docs/server/server.py
+++ b/docs/server/server.py
@@ -1,4 +1,5 @@
 from http.server import HTTPServer, SimpleHTTPRequestHandler
+from subprocess import call
 
 PORT = 8000
 URL = f"http://localhost:{PORT}"
@@ -8,6 +9,7 @@ class AutoBrowseHTTPServer(HTTPServer):
     def server_activate(self):
         HTTPServer.server_activate(self)
         print(f"Serving documentation at {URL}")
+        call(["xdg-open", URL])
 
 
 class UncachedHTTPHandler(SimpleHTTPRequestHandler):