#!/usr/bin/env bash

id=$1
user=$2
name="$3"

grp="\    $user = { gid = "$id"; };"

read -d '' usr << EOF
\\\   $user = {\\\n\
      description = "$name";\\\n\
      home = "/home/$user";\\\n\
      group = "$user";\\\n\
      extraGroups = [\\\n\
        "users"\\\n\
        "docker"\\\n\
      ];\\\n\
      uid = $id;\\\n\
      isNormalUser = true;\\\n\
      createHome = true;\\\n\
      openssh.authorizedKeys.keys = [];\\\n\
    };\\\n\

EOF

sed -i "
/# @grp@/i $grp
/# @usr@/i $usr
" clusters/stokes/users.nix