1
0
mirror of https://github.com/nix-community/home-manager synced 2024-06-12 01:33:40 +02:00

firefox: update extensions option description

This adds a note that the extensions will only apply to profiles
managed through Home Manager.
This commit is contained in:
Robert Helgesson 2020-06-09 22:12:08 +02:00
parent 5a97bf30d4
commit abcddfe090
No known key found for this signature in database
GPG Key ID: 36BDAA14C2797E89

View File

@ -111,9 +111,19 @@ in
</screen>
to list the available Firefox add-ons.
</para><para>
Note that it is necessary to manually enable these
extensions inside Firefox after the first installation.
</para><para>
Extensions listed here will only be available in Firefox
profiles managed through the
<link linkend="opt-programs.firefox.profiles">programs.firefox.profiles</link>
option. This is due to recent changes in the way Firefox
handles extension side-loading.
'';
};