Ajout : vm_hosted : rule_user_add .

diff --git a/vm_hosted b/vm_hosted
index 3fa1ea8..c0e66ab 100755 (executable)
--- a/vm_hosted
+++ b/vm_hosted
@@ -784,13 +784,33 @@ rule_ssh_configure () {
                EOF
        sudo service ssh restart
  }
-rule_user_admin_add () { # SYNTAX: $user
+rule_user_add () { # SYNTAX: $user
+       rule user_configure
        local user=$1
        id "$user" >/dev/null ||
        sudo adduser --disabled-password "$user"
                # NOTE: le mot-de-passe doit être initialisé par l'utilisateur à l'aide de passwd-init .
        eval local home\; home="~$user"
+       sudo adduser "$user" users
+       sudo install -m 640 -o root -g root \
+        "$tool"/var/pub/ssh/"$user".key \
+        "$home"/etc/ssh/authorized_keys
+       local key; local -; set +f
+       for key in "$tool"/var/pub/openpgp/*.key
+        do sudo -u "$user" gpg --import "$key"
+        done
+ }
+rule_user_configure () {
+       true
+ }
+rule_user_admin_add () { # SYNTAX: $user
+       rule user_configure
+       local user=$1
+       id "$user" >/dev/null ||
+       sudo adduser --disabled-password "$user"
+       eval local home\; home="~$user"
        sudo adduser "$user" sudo
+       sudo adduser "$user" users
        sudo install -m 640 -o root -g root \
         "$tool"/var/pub/ssh/"$user".key \
         "$home"/etc/ssh/authorized_keys