diff options
author | rusty-snake <print_hello_world+Public@protonmail.com> | 2019-09-20 18:43:53 +0200 |
---|---|---|
committer | rusty-snake <print_hello_world+Public@protonmail.com> | 2019-09-20 18:43:53 +0200 |
commit | 5c7f993216fbe2b0f31845fec86a636f93cc03ec (patch) | |
tree | 6720aab17eab4f0c479bfd09bc9b5dbd9d7fa7f6 /etc | |
parent | apparmor: permit writing to trace file (diff) | |
download | firejail-5c7f993216fbe2b0f31845fec86a636f93cc03ec.tar.gz firejail-5c7f993216fbe2b0f31845fec86a636f93cc03ec.tar.zst firejail-5c7f993216fbe2b0f31845fec86a636f93cc03ec.zip |
Create gnome-latex.profile
Diffstat (limited to 'etc')
-rw-r--r-- | etc/disable-programs.inc | 2 | ||||
-rw-r--r-- | etc/gnome-latex.profile | 46 |
2 files changed, 48 insertions, 0 deletions
diff --git a/etc/disable-programs.inc b/etc/disable-programs.inc index e54b651a6..7dbe535fe 100644 --- a/etc/disable-programs.inc +++ b/etc/disable-programs.inc | |||
@@ -183,6 +183,7 @@ blacklist ${HOME}/.config/ghostwriter | |||
183 | blacklist ${HOME}/.config/git | 183 | blacklist ${HOME}/.config/git |
184 | blacklist ${HOME}/.config/globaltime | 184 | blacklist ${HOME}/.config/globaltime |
185 | blacklist ${HOME}/.config/gnome-builder | 185 | blacklist ${HOME}/.config/gnome-builder |
186 | blacklist ${HOME}/.config/gnome-latex | ||
186 | blacklist ${HOME}/.config/gnome-mplayer | 187 | blacklist ${HOME}/.config/gnome-mplayer |
187 | blacklist ${HOME}/.config/gnome-mpv | 188 | blacklist ${HOME}/.config/gnome-mpv |
188 | blacklist ${HOME}/.config/gnome-pie | 189 | blacklist ${HOME}/.config/gnome-pie |
@@ -502,6 +503,7 @@ blacklist ${HOME}/.local/share/gitg | |||
502 | blacklist ${HOME}/.local/share/gnome-2048 | 503 | blacklist ${HOME}/.local/share/gnome-2048 |
503 | blacklist ${HOME}/.local/share/gnome-chess | 504 | blacklist ${HOME}/.local/share/gnome-chess |
504 | blacklist ${HOME}/.local/share/gnome-builder | 505 | blacklist ${HOME}/.local/share/gnome-builder |
506 | blacklist ${HOME}/.local/share/gnome-latex | ||
505 | blacklist ${HOME}/.local/share/gnome-music | 507 | blacklist ${HOME}/.local/share/gnome-music |
506 | blacklist ${HOME}/.local/share/gnome-photos | 508 | blacklist ${HOME}/.local/share/gnome-photos |
507 | blacklist ${HOME}/.local/share/gnome-recipes | 509 | blacklist ${HOME}/.local/share/gnome-recipes |
diff --git a/etc/gnome-latex.profile b/etc/gnome-latex.profile new file mode 100644 index 000000000..9cef9072c --- /dev/null +++ b/etc/gnome-latex.profile | |||
@@ -0,0 +1,46 @@ | |||
1 | # Firejail profile for gnome-latex | ||
2 | # Description: LaTeX editor for the GNOME desktop | ||
3 | # This file is overwritten after every install/update | ||
4 | # Persistent local customizations | ||
5 | include gnome-latex.local | ||
6 | # Persistent global definitions | ||
7 | include globals.local | ||
8 | |||
9 | noblacklist ${HOME}/.config/gnome-latex | ||
10 | noblacklist ${HOME}/.local/share/gnome-latex | ||
11 | |||
12 | # Allow perl (blacklisted by disable-interpreters.inc) | ||
13 | include allow-perl.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 | # May cause issues. | ||
23 | #include whitelist-var-common.inc | ||
24 | |||
25 | apparmor | ||
26 | caps.drop all | ||
27 | machine-id | ||
28 | net none | ||
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-cache | ||
44 | private-dev | ||
45 | # passwd,login.defs,firejail are a temporary workaround for #2877 and can be removed once it is fixed | ||
46 | private-etc alternatives,dconf,fonts,gtk-3.0,latexmk.conf,login.defs,passwd,texlive | ||