diff options
| -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 |