diff options
Diffstat (limited to 'maintainers/scripts/evacuate-urls.sh')
-rwxr-xr-x | maintainers/scripts/evacuate-urls.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintainers/scripts/evacuate-urls.sh b/maintainers/scripts/evacuate-urls.sh index 8ca72fdf96f99..c830a75317586 100755 --- a/maintainers/scripts/evacuate-urls.sh +++ b/maintainers/scripts/evacuate-urls.sh @@ -6,7 +6,7 @@ find . -name "*.nix" | while read fn; do if oldURL=$(echo "$line" | sed 's^url = \(.*\);^\1^'); then - if ! echo "$oldURL" | grep -q -E ".cs.uu.nl|.stratego-language.org|java.sun.com|ut2004|linuxq3a"; then + if ! echo "$oldURL" | grep -q -E ".cs.uu.nl|.stratego-language.org|java.sun.com|ut2004|linuxq3a|RealPlayer"; then base=$(basename $oldURL) newURL="http://catamaran.labs.cs.uu.nl/dist/tarballs/$base" newPath="/mnt/scratchy/eelco/public_html/tarballs/$base" |