# HG changeset patch
# User wenzelm
# Date 1736028850 -3600
# Node ID b5d329f7fe95827791ca60b0f1f14051730d1ff0
# Parent  12ecf11f8eabc4c34fad0e914dc0bd344dfb3335
more robust defaults, notably for Ubuntu 24.04;

diff -r 12ecf11f8eab -r b5d329f7fe95 src/Pure/System/linux.scala
--- a/src/Pure/System/linux.scala	Sat Jan 04 21:33:08 2025 +0100
+++ b/src/Pure/System/linux.scala	Sat Jan 04 23:14:10 2025 +0100
@@ -97,9 +97,12 @@
 
     Isabelle_System.bash(
       "adduser --quiet --disabled-password --gecos " + Bash.string(description) +
+        " --home /home/" + Bash.string(name) +
         (if (system) " --system --group --shell /bin/bash " else "") +
         " " + Bash.string(name)).check
 
+    Isabelle_System.bash("usermod -p '*' " + Bash.string(name)).check
+
     if (ssh_setup) {
       val id_rsa = user_home(name) + "/.ssh/id_rsa"
       Isabelle_System.bash("""
diff -r 12ecf11f8eab -r b5d329f7fe95 src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Sat Jan 04 21:33:08 2025 +0100
+++ b/src/Pure/Tools/phabricator.scala	Sat Jan 04 23:14:10 2025 +0100
@@ -777,6 +777,9 @@
 
   /** setup ssh **/
 
+  // see also https://we.phorge.it/book/phorge/article/diffusion_hosting/#sshd-setup
+
+
   /* sshd config */
 
   private val Port = """^\s*Port\s+(\d+)\s*$""".r