institute
/
wiki
2
0
Fork 4
Code Issues Pull Requests Releases Wiki Activity

added example remote when pushing from tilde.institute

This commit is contained in:
gbmor 2020-05-27 18:06:41 -04:00
parent 5cf5311ece
commit 2f7b62cd96
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pages/user-repos.md
View File

@ -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