summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2017-04-18 11:15:26 +0200
committerJonas Smedegaard <dr@jones.dk>2017-04-18 11:15:26 +0200
commit458cd0c185549deb869fa6abe172b577596251dd (patch)
treec2b1e7d5ab3ef520203d6881a605aca2c21908d2
parent66910130776fd4c0125f69856a0ef652543c35be (diff)
Improve documentation for adding user (and drop undocumented user as 4th argument).
-rwxr-xr-xlocalgit-remote-init-push4
1 files changed, 2 insertions, 2 deletions
diff --git a/localgit-remote-init-push b/localgit-remote-init-push
index 41c1bae..e171b8e 100755
--- a/localgit-remote-init-push
+++ b/localgit-remote-init-push
@@ -15,7 +15,7 @@ Initialize remote git, push local git, and set as default remote.
GIT_HOST hostname for public git access
default: "source." + current domainname
- SSH_CONN hostname for ssh, optionally with user prepended
+ SSH_CONN hostname for ssh, optionally with user + "@" prepended
default: GIT_HOST
Full remote path becomes SSH_USER@SSH_HOST:/srv/git/GIT_HOST/PROJECT.git
@@ -45,7 +45,7 @@ done
PROJECT=${1-$(showhelp; exit1 "project name missing")}
GIT_HOST=${2:-source.$(dnsdomainname --domain)}
-SSH_CONN=${4:+$4@}${3:-$GIT_HOST}
+SSH_CONN=${3:-$GIT_HOST}
ssh "$SSH_CONN" git init --bare --shared /srv/git/"$GIT_HOST"/"$PROJECT".git
git remote add origin "$SSH_CONN":/srv/git/"$GIT_HOST"/"$PROJECT".git