chiark / gitweb /
show where the preferences come from
authorhg42@gmx.net <hg42@gmx.net>
Mon, 13 Jan 2014 00:36:48 +0000 (01:36 +0100)
committerhg42@gmx.net <hg42@gmx.net>
Mon, 13 Jan 2014 00:36:48 +0000 (01:36 +0100)
--HG--
extra : source : c3fd5b230ed8c9632def9fae3d28aea83edf9c5c

Cura/cura.py

index c631a02ff3255bb598daab70bd3574c12ad190ce..dadb223848869343b959b07dfc3a82c3cc11b237 100644 (file)
@@ -28,7 +28,9 @@ def main():
 
        (options, args) = parser.parse_args()
 
+       print "load preferences from " + profile.getPreferencePath()
        profile.loadPreferences(profile.getPreferencePath())
+
        if options.profile is not None:
                profile.setProfileFromString(options.profile)
        elif options.profileini is not None: