in gui/mozregui/global_prefs.py [0:0]
def save_prefs(options):
conf_dir = os.path.dirname(DEFAULT_CONF_FNAME)
if not os.path.isdir(conf_dir):
os.makedirs(conf_dir)
settings = ConfigObj(DEFAULT_CONF_FNAME)
settings.update(
{
"persist": options["persist"] or "",
"http-timeout": options["http_timeout"],
"persist-size-limit": options["persist_size_limit"],
"background_downloads": "yes" if options["background_downloads"] else "no",
"approx-policy": "auto" if options["approx_policy"] else "none",
"enable-telemetry": "yes" if options["enable_telemetry"] else "no",
}
)
# only save base url in the file if it differs from the default.
if options["archive_base_url"] and options["archive_base_url"] != ARCHIVE_BASE_URL:
settings["archive-base-url"] = options["archive_base_url"]
elif "archive-base-url" in settings:
del settings["archive-base-url"]
# likewise only save args if it has a value
if "cmdargs" in settings and not settings["cmdargs"]:
del settings["cmdargs"]
settings.write()