equal
deleted
inserted
replaced
135 self.set('config', 'done', 'False') |
135 self.set('config', 'done', 'False') |
136 self.__changes = True |
136 self.__changes = True |
137 w_std(_(u'Using configuration file: %s\n') % self.__cfgFileName) |
137 w_std(_(u'Using configuration file: %s\n') % self.__cfgFileName) |
138 for s in sections: |
138 for s in sections: |
139 if s != 'config': |
139 if s != 'config': |
140 w_std(_(u'* Config section: »%s«') % s ) |
140 w_std(_(u'* Config section: “%s”') % s ) |
141 for opt, val in self.items(s): |
141 for opt, val in self.items(s): |
142 newval = raw_input( |
142 newval = raw_input( |
143 _('Enter new value for option %(opt)s [%(val)s]: ').encode( |
143 _('Enter new value for option %(opt)s [%(val)s]: ').encode( |
144 ENCODING, 'replace') % {'opt': opt, 'val': val}) |
144 ENCODING, 'replace') % {'opt': opt, 'val': val}) |
145 if newval and newval != val: |
145 if newval and newval != val: |