aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorgbmor <ben@gbmor.dev>2020-05-27 18:06:41 -0400
committergbmor <ben@gbmor.dev>2020-05-27 18:06:41 -0400
commit2f7b62cd9693e73114c71dc9ad28fb7acd96c9d5 (patch)
treed1faf752b54a72f804531eb77678ad782f6753e5
parent5cf5311ece22dcd764d8c2f37d3f8f1ef49289d8 (diff)
downloadwiki-2f7b62cd9693e73114c71dc9ad28fb7acd96c9d5.tar.gz
added example remote when pushing from tilde.institute
-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