diff options
Diffstat (limited to 'etc/idea.sh.profile')
-rw-r--r-- | etc/idea.sh.profile | 43 |
1 files changed, 1 insertions, 42 deletions
diff --git a/etc/idea.sh.profile b/etc/idea.sh.profile index f93bd1a07..467265b79 100644 --- a/etc/idea.sh.profile +++ b/etc/idea.sh.profile | |||
@@ -1,42 +1 @@ | |||
1 | # Firejail profile for idea.sh | ]0;firejail /usr/bin/meld ./etc/idea.sh_LOCAL_29017.profile ./etc/idea.sh_BASE_29017.profile ./etc/idea.sh_REMOTE_29017.profile \ No newline at end of file | |
2 | # This file is overwritten after every install/update | ||
3 | # Persistent local customizations | ||
4 | include idea.sh.local | ||
5 | # Persistent global definitions | ||
6 | include globals.local | ||
7 | |||
8 | noblacklist ${HOME}/.IdeaIC* | ||
9 | noblacklist ${HOME}/.android | ||
10 | noblacklist ${HOME}/.config/git | ||
11 | noblacklist ${HOME}/.gitconfig | ||
12 | noblacklist ${HOME}/.git-credential | ||
13 | noblacklist ${HOME}/.gradle | ||
14 | noblacklist ${HOME}/.jack-server | ||
15 | noblacklist ${HOME}/.jack-settings | ||
16 | noblacklist ${HOME}/.java | ||
17 | noblacklist ${HOME}/.local/share/JetBrains | ||
18 | noblacklist ${HOME}/.ssh | ||
19 | noblacklist ${HOME}/.tooling | ||
20 | |||
21 | include disable-common.inc | ||
22 | include disable-passwdmgr.inc | ||
23 | include disable-programs.inc | ||
24 | |||
25 | caps.drop all | ||
26 | netfilter | ||
27 | nodvd | ||
28 | nogroups | ||
29 | nonewprivs | ||
30 | noroot | ||
31 | notv | ||
32 | nou2f | ||
33 | novideo | ||
34 | protocol unix,inet,inet6 | ||
35 | seccomp | ||
36 | shell none | ||
37 | |||
38 | private-cache | ||
39 | private-dev | ||
40 | # private-tmp | ||
41 | |||
42 | noexec /tmp | ||