diff options
author | Erich Eckner <git@eckner.net> | 2019-04-07 21:06:14 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-04-07 21:06:14 +0200 |
commit | a6220f162c36f31c5fa1df8766a61c79e7a76163 (patch) | |
tree | 7786daf9a9a23280f3f57b7194959639d8f1181a | |
parent | 365efce1bdc81fc7f66bfe4e85742b90d40c0a66 (diff) | |
download | archlinuxewe.git.save-a6220f162c36f31c5fa1df8766a61c79e7a76163.tar.xz |
use git2.archlinux32.org if git.archlinux32.org is down
-rwxr-xr-x | checkVersions | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/checkVersions b/checkVersions index 5f74ffa0..d39bb620 100755 --- a/checkVersions +++ b/checkVersions @@ -427,8 +427,12 @@ then grep -q '^git://anonscm\.debian\.org/\|^git\(+https\?\)\?://git\(hub\.com\|\.archlinux32\.org\)/.*#tag=' then src="${src#git+}" + src="${src%#*}" remVer=$( - git ls-remote --tags "${src%#*}" | \ + { + git ls-remote --tags "${src}" 2>/dev/null || \ + git ls-remote --tags "${src//git.archlinux32.org\/archlinux32\//git2.archlinux32.org/Archlinux32/}" 2>/dev/null + } | \ awk '{print $2}' | \ sed ' s|^refs/tags/'"$( |