profiles: seamonkey: sort profile

Related commits:

* 63c35052b ("Add '$HOME/.local/share/pki' to blacklist", 2019-02-03)
* 324c73ea4 ("ordering fixes", 2022-01-06) / PR #4830
This commit is contained in:
Kelvin M. Klann 2025-08-30 07:10:13 -03:00
parent a16c867e7e
commit c4bd0b9c12

View file

@ -8,8 +8,8 @@ include globals.local
noblacklist ${HOME}/.cache/mozilla
noblacklist ${HOME}/.gnupg
noblacklist ${HOME}/.mozilla
noblacklist ${HOME}/.local/share/pki
noblacklist ${HOME}/.mozilla
noblacklist ${HOME}/.pki
include disable-common.inc
@ -19,8 +19,8 @@ include disable-programs.inc
mkdir ${HOME}/.cache/mozilla
mkdir ${HOME}/.gnupg
mkdir ${HOME}/.mozilla
mkdir ${HOME}/.local/share/pki
mkdir ${HOME}/.mozilla
whitelist ${DOWNLOADS}
whitelist ${HOME}/.cache/gnome-mplayer/plugin
whitelist ${HOME}/.cache/mozilla