Здравствуйте. Что делать с файлом pref.js при копировании в эту папку user.js? В интернете пишут много вариантов - переименовать pref.js в user.js, удалить pref.js, или просто ничего с ним не делать, просто скопировать user.js и все.
Отредактировано Alexxx789 (19-11-2022 02:19:02)
Отсутствует
Alexxx789
Можно оба в папке профиля держать, но у user.js приоритет выше чем у pref.js.
И поэтому при запуске FF все строки из user.js перенесутся в pref.js.
Т.е. если одинаковая настройка будет в обоих файлах, то браться она будет из user.js.
Отредактировано momo2000 (19-11-2022 08:29:05)
Отсутствует
Что делать с файлом pref.js при копировании в эту папку user.js?
Оставить в покое.
В шапке prefs.js вроде всё доходчиво написано:
Mozilla User Preferences
DO NOT EDIT THIS FILE.
If you make changes to this file while the application is running, the changes will be overwritten when the application exits.
To change a preference value, you can either:
- modify it via the UI (e.g. via about:config in the browser); or
- set it within a user.js file in your profile.
Настройки пользователя Mozilla
НЕ РЕДАКТИРУЙТЕ ЭТОТ ФАЙЛ.
При внесении изменений в этот файл во время работы приложения изменения будут перезаписаны при выходе из приложения.
Чтобы изменить значение настройки, можно выполнить одно из следующих действий.
- модифицировать его через интерфейс пользователя (например, через about:config в браузере); или
- установите его в файле user.js в профиле.
На форуме
Понял, спасибо за ответ!
Alexxx789
Можно оба в папке профиля держать, но у user.js приоритет выше чем у pref.js.
И поэтому при запуске FF все строки из user.js перенесутся в pref.js.Т.е. если одинаковая настройка будет в обоих файлах, то браться она будет из user.js.
Отредактировано Alexxx789 (19-11-2022 17:02:26)
Отсутствует