diff options
| author |  bremner <bremner@web> | 2011-12-31 03:34:19 +0000 |
|---|---|---|
| committer |  admin <admin@branchable.com> | 2011-12-31 03:34:19 +0000 |
| commit | e073add830609850ecd70a3db81b71d7b84cfbc4 (patch) | |
| tree | ee573c276501ef849e70aa527cc0ebdb70a1ac8f | |
| parent | db55fa1c07f34785399d9d48db42261c18544f5e (diff) | |
Added a comment: ssh://gitolite-host/repo-name is supposed to work
| -rw-r--r-- | doc/tips/using_gitolite_with_git-annex/comment_6_3e203e010a4df5bf03899f867718adc5._comment | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/doc/tips/using_gitolite_with_git-annex/comment_6_3e203e010a4df5bf03899f867718adc5._comment b/doc/tips/using_gitolite_with_git-annex/comment_6_3e203e010a4df5bf03899f867718adc5._comment new file mode 100644 index 000000000..ce888cb13 --- /dev/null +++ b/doc/tips/using_gitolite_with_git-annex/comment_6_3e203e010a4df5bf03899f867718adc5._comment @@ -0,0 +1,25 @@ +[[!comment format=mdwn + username="bremner" + ip="156.34.79.193" + subject="ssh://gitolite-host/repo-name is supposed to work" + date="2011-12-31T03:34:17Z" + content=""" +I confirmed with Sitaram that this is intentional, if probably under-documented. +Since the ADC strips the leading /~/ in assigning $start anyway, I guess something like the following will work +<pre> + +diff --git a/contrib/adc/git-annex-shell b/contrib/adc/git-annex-shell +index 7f9f5b8..523dfed 100755 +--- a/contrib/adc/git-annex-shell ++++ b/contrib/adc/git-annex-shell +@@ -28,7 +28,7 @@ my $cmd=$ENV{SSH_ORIGINAL_COMMAND}; + # the second parameter. + # Further parameters are not validated here (see below). + die \"bad git-annex-shell command: $cmd\" +- unless $cmd =~ m#^(git-annex-shell '\w+' ')/\~/([0-9a-zA-Z][0-9a-zA-Z._\@/+- ++ unless $cmd =~ m#^(git-annex-shell '\w+' ')/(?:\~\/)?([0-9a-zA-Z][0-9a-zA-Z. + my $start = $1; + my $repo = $2; + my $end = $3; +</pre> +"""]] |