diff options
| author | gbmor <ben@gbmor.dev> | 2020-05-27 18:06:41 -0400 |
|---|---|---|
| committer | gbmor <ben@gbmor.dev> | 2020-05-27 18:06:41 -0400 |
| commit | 2f7b62cd9693e73114c71dc9ad28fb7acd96c9d5 (patch) | |
| tree | d1faf752b54a72f804531eb77678ad782f6753e5 /pages | |
| parent | 5cf5311ece22dcd764d8c2f37d3f8f1ef49289d8 (diff) | |
| download | wiki-2f7b62cd9693e73114c71dc9ad28fb7acd96c9d5.tar.gz | |
added example remote when pushing from tilde.institute
Diffstat (limited to 'pages')
| -rw-r--r-- | pages/user-repos.md | 10 |
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 |