diff options
| author | Hanno Boeck <hanno@hboeck.de> | 2016-11-26 11:06:20 +0000 |
|---|---|---|
| committer | Tim-Philipp Müller <tim@centricular.com> | 2016-11-26 11:12:05 +0000 |
| commit | 950f68c8fe89f09c6ac63a90a230d6000406e759 (patch) | |
| tree | dbafb7c87192f2b50f5063980b2504ec72428a20 | |
| parent | ec2e213c50533c85759eca72a7dc1be22697da7e (diff) | |
scripts: create-uninstalled-setup: use https protocol to clone repos
The git:// protocol is problematic from a security perspective, as
it provides no authenticity of data. https:// also works better in
environments with restricted network connectivity.
Also add CLONE_OPTS to do shallow checkouts more easily.
https://bugzilla.gnome.org/show_bug.cgi?id=775110
| -rwxr-xr-x | scripts/create-uninstalled-setup.sh | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/scripts/create-uninstalled-setup.sh b/scripts/create-uninstalled-setup.sh index 3a8244d92..8d803599e 100755 --- a/scripts/create-uninstalled-setup.sh +++ b/scripts/create-uninstalled-setup.sh @@ -35,6 +35,9 @@ BRANCH="master" # set to "ssh" if you have a developer account and ssh access GIT_ACCESS="anongit" +# extra clone options +#CLONE_OPTS="--depth=1 --no-single-branch" + # re-use and reference local master branch checkout if one already exists # (saves network bandwidth) REUSE_EXISTING_MASTER_CHECKOUT="true" @@ -110,9 +113,9 @@ do fi if test "$GIT_ACCESS" = "ssh"; then - git clone $REF ssh://git.freedesktop.org/git/gstreamer/$m + git clone $CLONE_OPTS $REF ssh://git.freedesktop.org/git/gstreamer/$m else - git clone $REF git://anongit.freedesktop.org/gstreamer/$m + git clone $CLONE_OPTS $REF https://anongit.freedesktop.org/git/gstreamer/$m fi cd $m |