diff options
author | Simon Rettberg | 2018-10-16 10:08:48 +0200 |
---|---|---|
committer | Simon Rettberg | 2018-10-16 10:08:48 +0200 |
commit | d3a98cf6cbc3bd0b9efc570f58e8812c03931c18 (patch) | |
tree | cbddf8e50f35a9c6e878a5bfe3c6d625d99e12ba /po/update.sh | |
download | xscreensaver-d3a98cf6cbc3bd0b9efc570f58e8812c03931c18.tar.gz xscreensaver-d3a98cf6cbc3bd0b9efc570f58e8812c03931c18.tar.xz xscreensaver-d3a98cf6cbc3bd0b9efc570f58e8812c03931c18.zip |
Original 5.40
Diffstat (limited to 'po/update.sh')
-rwxr-xr-x | po/update.sh | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/po/update.sh b/po/update.sh new file mode 100755 index 0000000..5bfb6fa --- /dev/null +++ b/po/update.sh @@ -0,0 +1,24 @@ +#!/bin/sh + +# syncs the .po files with the version in GNOME CVS. +# The URL below is updated every ~4 hours. + +url="http://developer.gnome.org/projects/gtp/status/gnome-2.0-extras/po/xscreensaver.HEAD." + +for f in *.po +do + f2="$f.tmp" + rm -f "$f2" + echo -n "$f ... " + wget -q -O"$f2" "$url$f" + if [ ! -s "$f2" ]; then + echo "not found." + elif ( cmp -s "$f" "$f2" ); then + echo "unchanged." + else + cat "$f2" > "$f" + echo "updated." + fi + rm -f "$f2" +done +exit 0 |