Re: [ptxdist] [PATCH] ptxd_make_get.sh: handle ssh://*.git

[Jon Ringle <jonringle@gmail.com>]

> On Feb 3, 2014, at 2:04 AM, Uwe Kleine-König <u.kleine-koenig@pengutronix.de> wrote:
> 
> Hello Jon,
> 
>> On Sat, Feb 01, 2014 at 05:42:51PM -0500, jon@ringle.org wrote:
>> From: Jon Ringle <jringle@gridpoint.com>
>> 
>> Allow a git repo to be specified with ssh://*.git
>> 
>> Signed-off-by: Jon Ringle <jringle@gridpoint.com>
>> ---
>> 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
ptxdist@pengutronix.de