| Alexxx789 > 19-11-2022 02:16:37 |
Здравствуйте. Что делать с файлом pref.js при копировании в эту папку user.js? В интернете пишут много вариантов - переименовать pref.js в user.js, удалить pref.js, или просто ничего с ним не делать, просто скопировать user.js и все. |
| momo2000 > 19-11-2022 08:26:12 |
Alexxx789
Можно оба в папке профиля держать, но у user.js приоритет выше чем у pref.js.
И поэтому при запуске FF все строки из user.js перенесутся в pref.js.
Т.е. если одинаковая настройка будет в обоих файлах, то браться она будет из user.js. |
| zzzephire > 19-11-2022 10:40:24 |
Alexxx789 пишетЧто делать с файлом pref.js при копировании в эту папку user.js?
Оставить в покое.
В шапке prefs.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 > 19-11-2022 17:01:18 |
Понял, спасибо за ответ! momo2000 пишетAlexxx789
Можно оба в папке профиля держать, но у user.js приоритет выше чем у pref.js.
И поэтому при запуске FF все строки из user.js перенесутся в pref.js. Т.е. если одинаковая настройка будет в обоих файлах, то браться она будет из user.js.
|