2009-07-27 11:45:34 +01:00
|
|
|
#!/bin/bash
|
|
|
|
|
2019-05-20 14:31:05 +01:00
|
|
|
intltool-extract --type=gettext/glade usr/share/linuxmint/mintmenu/applications.ui
|
|
|
|
intltool-extract --type=gettext/glade usr/share/linuxmint/mintmenu/main.ui
|
|
|
|
intltool-extract --type=gettext/glade usr/share/linuxmint/mintmenu/places.ui
|
|
|
|
intltool-extract --type=gettext/glade usr/share/linuxmint/mintmenu/preferences.ui
|
|
|
|
intltool-extract --type=gettext/glade usr/share/linuxmint/mintmenu/recent.ui
|
|
|
|
intltool-extract --type=gettext/glade usr/share/linuxmint/mintmenu/system.ui
|
2019-02-12 13:12:04 +00:00
|
|
|
|
2019-05-20 14:31:05 +01:00
|
|
|
xgettext --language=Python --keyword=_ --keyword=N_ --output=mintmenu.pot usr/lib/linuxmint/mintMenu/*.py usr/share/linuxmint/mintmenu/*.ui.h
|
2009-07-27 11:45:34 +01:00
|
|
|
|
2019-05-20 14:31:05 +01:00
|
|
|
rm -rf usr/share/linuxmint/mintmenu/*.ui.h
|