diff options
| author | Gabriel Gonzalez <Gabriel439@gmail.com> | 2019-07-26 18:28:21 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-26 18:28:21 -0700 |
| commit | 2f4d291a5ac6caea3d689ec167163caea6a9351f (patch) | |
| tree | 047d1babbfc5470c0b84234db252487034d87e75 /dhall.html.markdown | |
| parent | bd0d666e28679250b654ae6aebb21bf60125348e (diff) | |
Fix `buildUsers` function
The key pair should be under the `.ssh` directory
Diffstat (limited to 'dhall.html.markdown')
| -rw-r--r-- | dhall.html.markdown | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall.html.markdown b/dhall.html.markdown index 25e143e8..21126c8a 100644 --- a/dhall.html.markdown +++ b/dhall.html.markdown @@ -291,7 +291,7 @@ let possiblyCustomPrelude = let buildUsers = let makeUser = \(user : Text) -> let home = "/home/${user}" - let privateKey = "${home}/id_ed25519" + let privateKey = "${home}/.ssh/id_ed25519" let publicKey = "${privateKey}.pub" in { home = home , privateKey = privateKey |