Clone of official tools

Revision:
40:7d3fa6b99b2b
Parent:
38:399953da035d
Child:
43:2a7da56ebd24
--- a/get_config.py	Wed Jul 19 16:44:30 2017 -0500
+++ b/get_config.py	Tue Oct 10 16:56:30 2017 -0500
@@ -67,7 +67,7 @@
         if params:
             print "Configuration parameters"
             print "------------------------"
-            for p in params:
+            for p in sorted(params):
                 for s in options.prefix:
                     if p.startswith(s):
                         print(str(params[p]) if not options.verbose else params[p].get_verbose_description())