about summary refs log tree commit diff stats
path: root/pages
diff options
context:
space:
mode:
Diffstat (limited to 'pages')
-rw-r--r--pages/user-repos.md10
1 files changed, 8 insertions, 2 deletions
diff --git a/pages/user-repos.md b/pages/user-repos.md
index 12e6538..302a17c 100644
--- a/pages/user-repos.md
+++ b/pages/user-repos.md
@@ -58,13 +58,19 @@ If both exist, the field in `config` will be favored by cgit.
 
 ## Setting up the remote
 
-Navigate to your repository on your home computer, and add the following remote, replacing `<USER>` with your username at tilde.institute, and `<REPO>` with the repo name:
+If pushing from your home computer, add the following remote, replacing `<USER>` with your username at tilde.institute, and `<REPO>` with the repo name:
 
 ```
 git remote add tilde.institute <USER>@tilde.institute:public_repos/<REPO>
 ```
 
-Now it's time to push to the repo you set up on tilde.institute:
+If pushing from your home directory on tilde.institute, use this format:
+
+```
+git remote add tilde.institute /home/<USER>/public_repos/<REPO>
+```
+
+Now it's time to push to the repo you set up:
 
 ```
 git push -u tilde.institute master