WIP: Expand the developer documentation #27

Draft
gremond wants to merge 189 commits from develop into developer_docs
Showing only changes of commit 85f3b9f80f - Show all commits

View file

@ -211,7 +211,7 @@ class UserDatas:
try: try:
option = self.config.option(path) option = self.config.option(path)
if option.isoptiondescription(): if option.isoptiondescription():
self.errors.append( self.errors.warnings(
_('the option "{0}" is an option description').format(option.path()) _('the option "{0}" is an option description').format(option.path())
) )
continue continue
@ -224,9 +224,9 @@ class UserDatas:
else: else:
option.value.set(value) option.value.set(value)
except AttributeError as err: except AttributeError as err:
self.errors.append(str(err)) self.warnings.append(str(err))
except (ValueError, LeadershipError) as err: except (ValueError, LeadershipError) as err:
self.errors.append(str(err)) self.warnings.append(str(err))
except PropertiesOptionError as err: except PropertiesOptionError as err:
self.warnings.append(str(err)) self.warnings.append(str(err))