summaryrefslogtreecommitdiffhomepage
path: root/dhall.html.markdown
diff options
context:
space:
mode:
Diffstat (limited to 'dhall.html.markdown')
-rw-r--r--dhall.html.markdown2
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