From c4bd0b9c129bc4f72853e695b51e8d735cc4a8cf Mon Sep 17 00:00:00 2001 From: "Kelvin M. Klann" Date: Sat, 30 Aug 2025 07:10:13 -0300 Subject: [PATCH] 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 --- etc/profile-m-z/seamonkey.profile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/etc/profile-m-z/seamonkey.profile b/etc/profile-m-z/seamonkey.profile index a503b0b77..cca87b145 100644 --- a/etc/profile-m-z/seamonkey.profile +++ b/etc/profile-m-z/seamonkey.profile @@ -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