changeset 35c672339a51 in /home/hg/repos/gajim

details:http://hg.gajim.org/gajim?cmd=changeset;node=35c672339a51 description: add -c option to history_manager. Fixes #5058 diffstat:

src/history_manager.py | 27 ++++++++++++++++++++++++++- 1 files changed, 26 insertions(+), 1 deletions(-)

diffs (39 lines):

diff -r 008ffc2586f9 -r 35c672339a51 src/history_manager.py --- a/src/history_manager.py Fri May 29 08:59:08 2009 +0200 +++ b/src/history_manager.py Fri May 29 09:18:55 2009 +0200 @@ -53,9 +53,34 @@ import time import locale

+import getopt from common import i18n + +def parseOpts(): + config_path = None + + try: + shortargs = 'hc:' + longargs = 'help config_path=' + opts = getopt.getopt(sys.argv[1:], shortargs, longargs.split())[0] + except getopt.error, msg: + print str(msg) + print 'for help use --help' + sys.exit(2) + for o, a in opts: + if o in ('-h', '--help'): + print 'history_manager [--help] [--config-path]' + sys.exit() + elif o in ('-c', '--config-path'): + config_path = a + return config_path + +config_path = parseOpts() +del parseOpts + import common.configpaths -common.configpaths.gajimpaths.init() +common.configpaths.gajimpaths.init(config_path) +del config_path common.configpaths.gajimpaths.init_profile() from common import exceptions import dialogs