On Fri, Aug 23, 2019 at 10:32:45AM +0200, Alexander Dahl wrote:
> Hello,
>
> On Thu, Aug 22, 2019 at 10:35:16PM +0200, Uwe Kleine-König wrote:
> > In contrast to git:// https:// is usually not blocked in corporate
> > firewalls and provides some anonymity.
>
> If this URL does not start with git:// is it still recognized as git
> repo url to be cloned from by ptxdist?
Yes. The respective pattern from scripts/lib/ptxd_make_get.sh is:
394 case "${url}" in
399 git://*|http://*.git|https://*.git|ssh://*.git)
400 ptxd_make_get_download_permitted &&
401 ptxd_make_get_git
--
Roland Hieber | r.hie...@pengutronix.de |
Pengutronix e.K. | https://www.pengutronix.de/ |
Peiner Str. 6-8, 31137 Hildesheim | Phone: +49-5121-206917-5086 |
Amtsgericht Hildesheim, HRA 2686 | Fax: +49-5121-206917-5555 |
_______________________________________________
ptxdist mailing list
ptxdist@pengutronix.de
