diff options
| author | Erich Eckner <git@eckner.net> | 2020-10-24 20:33:40 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-10-24 20:33:40 +0200 |
| commit | c1178e7f60badc676adc7466adea2d1b8c537c68 (patch) | |
| tree | 207d489e6ac89c3a56c1b36bf99637579607b052 /checkVersions | |
| parent | 8d15fd9428c3bae53e56a4be2a89c323574ea247 (diff) | |
| download | archlinuxewe-c1178e7f60badc676adc7466adea2d1b8c537c68.tar.xz | |
pambase-no-systemd-home: change arch mirror to gwdg
Diffstat (limited to 'checkVersions')
| -rwxr-xr-x | checkVersions | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checkVersions b/checkVersions index 2dc858484..78db0b4bd 100755 --- a/checkVersions +++ b/checkVersions @@ -694,7 +694,7 @@ then && remVer="${tmpVer:0:1}.${tmpVer:1:1}.${tmpVer:2}" \ || remVer="${tmpVer}" elif echo "${src}" | \ - grep -q '//arch\.eckner\.net/\|//mirror\.archlinux32\.org/' + grep -q '//ftp\.gwdg\.de/\|//mirror\.archlinux32\.org/' then quVer="${src%/*}" quVer="${quVer#*::}" |