# HG changeset patch # User Jeff Hammel # Date 1415224729 28800 # Node ID 55a9ba575605fcaaf8d556831cc1c36d207d86c9 # Parent d547c071b847bfe5946eeef343f3b1a00c501ad1 i need this actually for cdwin diff -r d547c071b847 -r 55a9ba575605 python/dictify.py --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/python/dictify.py Wed Nov 05 13:58:49 2014 -0800 @@ -0,0 +1,19 @@ +#!/usr/bin/env python + +divider = ':' + +def dictify(string): + lines = [ i.strip() for i in string.split('\n') if i.strip() ] + return dict([i.split(divider,1) for i in lines + if len(i.split(divider,1)) == 2]) + +if __name__ == '__main__': + import sys + feh = sys.stdin.read() + thedict = dictify(feh) + if sys.argv[1:]: + for i in sys.argv[1:]: + if thedict.has_key(i): + print thedict[i] + else: + print thedict diff -r d547c071b847 -r 55a9ba575605 python/example/dictify.py --- a/python/example/dictify.py Tue Nov 04 15:15:53 2014 -0800 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,19 +0,0 @@ -#!/usr/bin/env python - -divider = ':' - -def dictify(string): - lines = [ i.strip() for i in string.split('\n') if i.strip() ] - return dict([i.split(divider,1) for i in lines - if len(i.split(divider,1)) == 2]) - -if __name__ == '__main__': - import sys - feh = sys.stdin.read() - thedict = dictify(feh) - if sys.argv[1:]: - for i in sys.argv[1:]: - if thedict.has_key(i): - print thedict[i] - else: - print thedict