--- a/src/Pure/System/linux.scala Tue Nov 05 21:43:51 2019 +0100
+++ b/src/Pure/System/linux.scala Tue Nov 05 22:00:29 2019 +0100
@@ -83,7 +83,10 @@
def user_home(name: String): String = user_entry(name, 6)
- def user_add(name: String, description: String = "", ssh_setup: Boolean = false)
+ def user_add(name: String,
+ description: String = "",
+ system: Boolean = false,
+ ssh_setup: Boolean = false)
{
require(!description.contains(','))
@@ -91,6 +94,7 @@
Isabelle_System.bash(
"adduser --quiet --disabled-password --gecos " + Bash.string(description) +
+ (if (system) " --system --group --shell /bin/bash " else "") +
" " + Bash.string(name)).check
if (ssh_setup) {