def save_prefs()

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()