diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-22 10:07:06 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-22 10:07:06 +0200 |
| commit | 1de405cc51bba210aba10f1bc84099b7ef3b202a (patch) | |
| tree | 828eabcca838e0d58ac5de840401c5244d460555 | |
| parent | 7441468687696d125aa53053404bbf76f138e2f0 (diff) | |
| download | archlinuxewe.git.save-1de405cc51bba210aba10f1bc84099b7ef3b202a.tar.xz | |
checkVersions kennt jetzt auch mirror.archlinux32.org
| -rwxr-xr-x | checkVersions | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checkVersions b/checkVersions index 48661686..66833af4 100755 --- a/checkVersions +++ b/checkVersions @@ -309,7 +309,7 @@ then ) [ "${pkgname}" == "pgplot" ] && remVer="${tmpVer:0:1}.${tmpVer:1:1}.${tmpVer:2}" || remVer="${tmpVer}" elif echo "${src}" | \ - grep -q "//arch\.eckner\.net/" + grep -q '//arch\.eckner\.net/\|//mirror\.archlinux32\.org/' then quVer="${src%/*}" quVer="${quVer#*::}" |