From 2f7b62cd9693e73114c71dc9ad28fb7acd96c9d5 Mon Sep 17 00:00:00 2001 From: gbmor Date: Wed, 27 May 2020 18:06:41 -0400 Subject: added example remote when pushing from tilde.institute --- pages/user-repos.md | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) (limited to 'pages') 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 `` with your username at tilde.institute, and `` with the repo name: +If pushing from your home computer, add the following remote, replacing `` with your username at tilde.institute, and `` with the repo name: ``` git remote add tilde.institute @tilde.institute:public_repos/ ``` -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//public_repos/ +``` + +Now it's time to push to the repo you set up: ``` git push -u tilde.institute master -- cgit 1.4.1-2-gfad0