From 03af910fdcb5fbdc3b2bb00df716debf6593876d Mon Sep 17 00:00:00 2001 From: "Kelvin M. Klann" Date: Thu, 2 Jun 2022 00:14:04 -0300 Subject: disable-shell.inc: add global shell paths from ids.config Since /etc/profile is present, add the other shell-related paths in /etc that are listed on ids.config. Suggestion by @rusty-snake[1]. Relates to #5167 #5170. [1] https://github.com/netblue30/firejail/pull/5167#pullrequestreview-989621852 --- etc/ids.config | 1 + 1 file changed, 1 insertion(+) (limited to 'etc/ids.config') diff --git a/etc/ids.config b/etc/ids.config index b620e08e2..1217d4a3a 100644 --- a/etc/ids.config +++ b/etc/ids.config @@ -58,6 +58,7 @@ ${HOME}/.zshenv ${HOME}/.zshprofile ${HOME}/.zshrc +# Note: This list should be kept in sync with the one in inc/disable-shell.inc. ### shells global ### # all /etc/dircolors -- cgit v1.2.3-70-g09d2