#! /usr/bin/env seed /* * * PO Updater for GNOME Shell Extension Weather * * Copyright (C) 2012 * Christian METZLER * * * This file is part of gnome-shell-extension-weather. * * gnome-shell-extension-weather is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by * the Free Software Foundation, either version 3 of the License, or * (at your option) any later version. * * gnome-shell-extension-weather is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. * * You should have received a copy of the GNU General Public License * along with gnome-shell-extension-weather. If not, see . * */ Gio = imports.gi.Gio; print("Generate gnome-shell-extension-weather.pot"); var xgettext = Seed.spawn("xgettext -o gnome-shell-extension-weather.pot -L python --from-code=utf-8 --keyword=_ -f POTFILES.in"); if(xgettext.stderr) { print(xgettext.stderr); } else { var file = Gio.file_new_for_path("."); var enumerator = file.enumerate_children("standard::name,standard::size"); while(child = enumerator.next_file()) if(child.get_name().search(/.po$/) != -1) { print("Generate "+child.get_name()); Seed.spawn("msgmerge -U "+child.get_name()+" gnome-shell-extension-weather.pot"); } }