From 33a059f568ecca552a41c90c6e209bfdcc68fce8 Mon Sep 17 00:00:00 2001
From: Robert <rbrt@pobox.com>
Date: Sat, 9 May 2026 15:06:24 -0700
Subject: [PATCH] We should be using Debian Trixie (13), not Debian Bookworm
 (12).

---
 bootstrap/README.md     | 2 +-
 bootstrap/mkpause       | 2 +-
 doc/installing-pause.md | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/bootstrap/README.md b/bootstrap/README.md
index 40c82f9c4..5a283c34a 100644
--- a/bootstrap/README.md
+++ b/bootstrap/README.md
@@ -51,7 +51,7 @@ switches).  So, on to the next section:
 
 ## selfconfig
 
-If you've got a fresh Debian system (Bookworm, at time of writing), you can use
+If you've got a fresh Debian system (Trixie, at time of writing), you can use
 the selfconfig system to build a new PAUSE.  Start by copying `selfconfig-root`
 to that Debian box.  Run it as root and watch the magic.
 
diff --git a/bootstrap/mkpause b/bootstrap/mkpause
index 8cbd8980d..bb0b0c85f 100755
--- a/bootstrap/mkpause
+++ b/bootstrap/mkpause
@@ -169,7 +169,7 @@ async sub do_create {
     @key_ids = map {; $_->{id} } @keys;
   }
 
-  my $image  = 'debian-12-x64';
+  my $image  = 'debian-13-x64';
   my $region = 'nyc3';
   my $size   = $opt->size;
 
diff --git a/doc/installing-pause.md b/doc/installing-pause.md
index d38514d35..73502446d 100644
--- a/doc/installing-pause.md
+++ b/doc/installing-pause.md
@@ -17,7 +17,7 @@ Other places with docs:
 These instructions describe how to set up a private, or local, PAUSE
 server for development and testing.
 
-1. Provision a Debian host, preferably running Debian 12 (Bookworm)
+1. Provision a Debian host, preferably running Debian 13 (Trixie)
 2. Copy the `bootstrap/selfconfig-root` program to that host and run it
 3. You're done!