[ptxdist] [PATCH] ptxd_make_get.sh: handle git://file:

["Горелов Валентин Владимирович" <gorelov.v@bpa.ru>]

[-- Attachment #1: Type: text/plain, Size: 366 bytes --]

Hi PTXdist developers.
I've been using your system for a long time and I find it very convenient. But unfortunately,  it is unable to get sources from local folder-based Git repositories. That would be useful.
I've made a patch to add this function. May I expect it (or refurbished version of it) to be included in a future release?

Regards,
Valentin Gorelov

[-- Attachment #2: add_git_local_support.patch --]
[-- Type: application/octet-stream, Size: 565 bytes --]

diff --git a/scripts/lib/ptxd_make_get.sh b/scripts/lib/ptxd_make_get.sh
index 17c515644..7c00fe149 100644
--- a/scripts/lib/ptxd_make_get.sh
+++ b/scripts/lib/ptxd_make_get.sh
@@ -394,6 +394,13 @@ ptxd_make_get() {
 		shift
 
 		case "${url}" in
+		git://file:*)
+			echo "local git repository, removing git://file: prefix from URL"
+			url=${url#git://file:}
+
+			ptxd_make_get_download_permitted &&
+			ptxd_make_get_git && return
+			;;
 		git://*|http://*.git|https://*.git|ssh://*.git)
 			ptxd_make_get_download_permitted &&
 			ptxd_make_get_git && return

[-- Attachment #3: Type: text/plain, Size: 91 bytes --]

_______________________________________________
ptxdist mailing list
ptxdist@pengutronix.de