> On Feb 3, 2014, at 2:04 AM, Uwe Kleine-König <[email protected]> > wrote: > > Hello Jon, > >> On Sat, Feb 01, 2014 at 05:42:51PM -0500, [email protected] wrote: >> From: Jon Ringle <[email protected]> >> >> Allow a git repo to be specified with ssh://*.git >> >> Signed-off-by: Jon Ringle <[email protected]> >> --- >> scripts/lib/ptxd_make_get.sh | 2 +- >> 1 file changed, 1 insertion(+), 1 deletion(-) >> >> diff --git a/scripts/lib/ptxd_make_get.sh b/scripts/lib/ptxd_make_get.sh >> index 9f388dd..26b99d5 100644 >> --- a/scripts/lib/ptxd_make_get.sh >> +++ b/scripts/lib/ptxd_make_get.sh >> @@ -332,7 +332,7 @@ ptxd_make_get() { >> shift >> >> case "${url}" in >> - git://*|http://*.git|https://*.git) >> + git://*|http://*.git|https://*.git|ssh://*.git) > the more standard git-URL is: > > hostname:/path/to/repo.git > > maybe add that(, too| instead)? > Both ssh://hostname/path/to/repo.git and hostname:/path/to/repo.git are equivalent and use ssh for the transport. But I think in ptxdist we want to show explicitly what kind of URL is being used.
Jon -- ptxdist mailing list [email protected]
