mirror of
git://git.yoctoproject.org/poky.git
synced 2025-07-19 21:09:03 +02:00
recipetool: create: convert http git URLs that don't end in .git but contain /git/
When recipetool create is given a URL that starts with http(s):// and contains /git/, such as the URLs at git.yoctoproject.org, it's fairly safe to assume it's a git repository and not something that should be fetched with wget, so rewrite the URL. (From OE-Core rev: 3ca04757a670e8b6f78799cc0454d75691809ac4) Signed-off-by: Paul Eggleton <paul.eggleton@linux.intel.com> Signed-off-by: Richard Purdie <richard.purdie@linuxfoundation.org>
This commit is contained in:
parent
4c71afb378
commit
ca5a36cbd1
|
@ -291,10 +291,12 @@ def supports_srcrev(uri):
|
|||
|
||||
def reformat_git_uri(uri):
|
||||
'''Convert any http[s]://....git URI into git://...;protocol=http[s]'''
|
||||
res = re.match('(https?)://([^;]+\.git)(;.*)?$', uri)
|
||||
if res:
|
||||
# Need to switch the URI around so that the git fetcher is used
|
||||
return 'git://%s;protocol=%s%s' % (res.group(2), res.group(1), res.group(3) or '')
|
||||
checkuri = uri.split(';', 1)[0]
|
||||
if checkuri.endswith('.git') or '/git/' in checkuri:
|
||||
res = re.match('(https?)://([^;]+(\.git)?)(;.*)?$', uri)
|
||||
if res:
|
||||
# Need to switch the URI around so that the git fetcher is used
|
||||
return 'git://%s;protocol=%s%s' % (res.group(2), res.group(1), res.group(4) or '')
|
||||
return uri
|
||||
|
||||
def create_recipe(args):
|
||||
|
|
Loading…
Reference in New Issue
Block a user