From ec719b9e0f4f7258b5f752af4857649a34a35dfe Mon Sep 17 00:00:00 2001 From: The Fox in the Shell Date: Mon, 9 Jan 2017 23:22:31 +0100 Subject: etc: Support local customizations in *.inc This is useful for places, like hashbang.sh, which have site-specific modifications of the *.inc files. With the current setup, the package manager cannot automatically install updated versions of those files, as it would need to somehow merge the site-specific and upstream changes. Having the site-specific changes in separate files solves this. --- etc/disable-devel.inc | 3 +++ 1 file changed, 3 insertions(+) (limited to 'etc/disable-devel.inc') diff --git a/etc/disable-devel.inc b/etc/disable-devel.inc index 2ac367f37..07fc3928c 100644 --- a/etc/disable-devel.inc +++ b/etc/disable-devel.inc @@ -1,3 +1,6 @@ +# Local customizations come here +include /etc/firejail/disable-devel.local + # development tools # GCC -- cgit v1.2.3-54-g00ecf