blob: 46a4faabf83483cf9e6742d85ddc5f30fd879195 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{- More than one user? Use a function! -}
let makeUser = \(user : Text) ->
let home = "/home/${user}"
let privateKey = "${home}/.ssh/id_ed25519"
let publicKey = "${privateKey}.pub"
in { home, privateKey, publicKey }
{- Add another user to this list -}
in [ makeUser "bill"
, makeUser "jane"
]
|