2021-05-20 20:06:56 +00:00
|
|
|
// Copyright 2021 Arnaud Ferraris, Oliver Smith
|
2020-08-20 11:20:42 +00:00
|
|
|
// SPDX-License-Identifier: GPL-3.0-or-later
|
|
|
|
|
|
|
|
// This is a Firefox autoconfig file:
|
|
|
|
// https://support.mozilla.org/en-US/kb/customizing-firefox-using-autoconfig
|
|
|
|
|
|
|
|
// Import custom userChrome.css on startup or new profile creation
|
|
|
|
const {classes: Cc, interfaces: Ci, utils: Cu} = Components;
|
|
|
|
Cu.import("resource://gre/modules/Services.jsm");
|
|
|
|
Cu.import("resource://gre/modules/FileUtils.jsm");
|
|
|
|
|
|
|
|
// Create <profile>/chrome/ directory if not already present
|
|
|
|
var chromeDir = Services.dirsvc.get("ProfD", Ci.nsIFile);
|
|
|
|
chromeDir.append("chrome");
|
|
|
|
if (!chromeDir.exists()) {
|
|
|
|
chromeDir.create(Ci.nsIFile.DIRECTORY_TYPE, FileUtils.PERMS_DIRECTORY);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Create nsIFile objects for userChrome.css in <profile>/chrome/ and in /etc/
|
|
|
|
var chromeFile = chromeDir.clone();
|
|
|
|
chromeFile.append("userChrome.css");
|
|
|
|
var defaultChrome = new FileUtils.File("/etc/mobile-config-firefox/userChrome.css");
|
|
|
|
|
|
|
|
// Remove the existing userChrome.css if older than the installed one
|
|
|
|
if (chromeFile.exists() && defaultChrome.exists() &&
|
|
|
|
chromeFile.lastModifiedTime < defaultChrome.lastModifiedTime) {
|
|
|
|
chromeFile.remove(false);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Copy userChrome.css to <profile>/chrome/
|
|
|
|
if (!chromeFile.exists()) {
|
|
|
|
defaultChrome.copyTo(chromeDir, "userChrome.css");
|
|
|
|
}
|
2021-05-15 18:33:29 +00:00
|
|
|
|
|
|
|
// Create nsIFile objects for userContent.css in <profile>/chrome/ and in /etc/
|
|
|
|
var contentFile = chromeDir.clone();
|
|
|
|
contentFile.append("userContent.css");
|
|
|
|
var defaultContent = new FileUtils.File("/etc/mobile-config-firefox/userContent.css");
|
|
|
|
|
|
|
|
// Remove the existing userContent.css if older than the installed one
|
|
|
|
if (contentFile.exists() && defaultContent.exists() &&
|
|
|
|
contentFile.lastModifiedTime < defaultContent.lastModifiedTime) {
|
|
|
|
contentFile.remove(false);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Copy userContent.css to <profile>/chrome/
|
|
|
|
if (!contentFile.exists()) {
|
|
|
|
defaultContent.copyTo(chromeDir, "userContent.css");
|
|
|
|
}
|
2021-07-15 13:32:46 +00:00
|
|
|
|
|
|
|
// Select a mobile user agent for firefox (same as tor browser on android)
|
2021-07-18 14:27:56 +00:00
|
|
|
defaultPref('general.useragent.override', 'Mozilla/5.0 (Android 9; Mobile; rv:78.0) Gecko/78.0 Firefox/78.0');
|