diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2017-04-18 11:15:26 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2017-04-18 11:15:26 +0200 |
| commit | 458cd0c185549deb869fa6abe172b577596251dd (patch) | |
| tree | c2b1e7d5ab3ef520203d6881a605aca2c21908d2 /localgit-remote-init-push | |
| parent | 66910130776fd4c0125f69856a0ef652543c35be (diff) | |
Improve documentation for adding user (and drop undocumented user as 4th argument).
Diffstat (limited to 'localgit-remote-init-push')
| -rwxr-xr-x | localgit-remote-init-push | 4 |
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 |