diff options
author | 2020-04-21 08:24:28 -0400 | |
---|---|---|
committer | 2020-04-21 08:24:28 -0400 | |
commit | 018d75775eab4a0f045949a9d069c57686ca2686 (patch) | |
tree | aac3a1a65cca0d4875795c55109a5c3e35efdefb /etc/gedit.profile | |
parent | small fixes (diff) | |
download | firejail-018d75775eab4a0f045949a9d069c57686ca2686.tar.gz firejail-018d75775eab4a0f045949a9d069c57686ca2686.tar.zst firejail-018d75775eab4a0f045949a9d069c57686ca2686.zip |
reorganize github etc directory
Diffstat (limited to 'etc/gedit.profile')
-rw-r--r-- | etc/gedit.profile | 51 |
1 files changed, 0 insertions, 51 deletions
diff --git a/etc/gedit.profile b/etc/gedit.profile deleted file mode 100644 index 17b7ad563..000000000 --- a/etc/gedit.profile +++ /dev/null | |||
@@ -1,51 +0,0 @@ | |||
1 | # Firejail profile for gedit | ||
2 | # Description: Official text editor of the GNOME desktop environment | ||
3 | # This file is overwritten after every install/update | ||
4 | # Persistent local customizations | ||
5 | include gedit.local | ||
6 | # Persistent global definitions | ||
7 | include globals.local | ||
8 | |||
9 | noblacklist ${HOME}/.config/enchant | ||
10 | noblacklist ${HOME}/.config/gedit | ||
11 | |||
12 | # Allows files commonly used by IDEs | ||
13 | include allow-common-devel.inc | ||
14 | |||
15 | include disable-common.inc | ||
16 | # include disable-devel.inc | ||
17 | include disable-exec.inc | ||
18 | # include disable-interpreters.inc | ||
19 | include disable-passwdmgr.inc | ||
20 | include disable-programs.inc | ||
21 | |||
22 | include whitelist-runuser-common.inc | ||
23 | include whitelist-var-common.inc | ||
24 | |||
25 | # apparmor - makes settings immutable | ||
26 | caps.drop all | ||
27 | machine-id | ||
28 | # net none - makes settings immutable | ||
29 | no3d | ||
30 | nodvd | ||
31 | nogroups | ||
32 | nonewprivs | ||
33 | noroot | ||
34 | nosound | ||
35 | notv | ||
36 | nou2f | ||
37 | novideo | ||
38 | protocol unix | ||
39 | seccomp | ||
40 | shell none | ||
41 | tracelog | ||
42 | |||
43 | # private-bin gedit | ||
44 | private-dev | ||
45 | # private-lib breaks python plugins, uncomment or add to your gedit.local if you don't use them. | ||
46 | #private-lib aspell,gconv,gedit,libgspell-1.so.*,libgtksourceview-*,libpeas-gtk-1.0.so.*,libreadline.so.*,libtinfo.so.* | ||
47 | private-tmp | ||
48 | |||
49 | # makes settings immutable | ||
50 | # dbus-user none | ||
51 | # dbus-system none | ||