diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2006-04-05 17:44:50 +0200 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2006-04-05 17:44:50 +0200 |
| commit | b407ce2b2312e82f98d54657b0ca978b9cad4964 (patch) | |
| tree | 1fa4b6f3aef22ce614b24a4407e114b2599f7a33 /update-manager | |
| parent | 99e04876f2b3eb1c6d9150ad0ac17ad8fc1f7e97 (diff) | |
| download | python-apt-b407ce2b2312e82f98d54657b0ca978b9cad4964.tar.gz | |
* add "--devel-release" as option
Diffstat (limited to 'update-manager')
| -rw-r--r-- | update-manager | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/update-manager b/update-manager index 04005c74..6c1f3fd0 100644 --- a/update-manager +++ b/update-manager @@ -33,7 +33,10 @@ from UpdateManager.UpdateManager import UpdateManager import gettext from gettext import gettext as _ +from optparse import OptionParser + if __name__ == "__main__": + _ = gettext.gettext APP="update-manager" DIR="/usr/share/locale" @@ -43,6 +46,15 @@ if __name__ == "__main__": gtk.glade.bindtextdomain(APP, DIR) gtk.glade.textdomain(APP) + # Begin parsing of options + parser = OptionParser() + parser.add_option ("-d", "--devel-release", action="store_true", + dest="devel_release", default=False, + help="Check if upgrading to the latest devel release " + "is possible") + + (options, args) = parser.parse_args() + if os.geteuid() != 0: dialog = gtk.MessageDialog(None, 0, gtk.MESSAGE_ERROR, gtk.BUTTONS_OK, _("You need to be root to run this program")) @@ -53,4 +65,4 @@ if __name__ == "__main__": data_dir="/usr/share/update-manager/" #data_dir="/tmp/xxx/share/update-manager/" app = UpdateManager(data_dir) - app.main() + app.main(options) |
