From 2f4d291a5ac6caea3d689ec167163caea6a9351f Mon Sep 17 00:00:00 2001
From: Gabriel Gonzalez <Gabriel439@gmail.com>
Date: Fri, 26 Jul 2019 18:28:21 -0700
Subject: [PATCH] Fix `buildUsers` function

The key pair should be under the `.ssh` directory
---
 dhall.html.markdown | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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