diff options
author | 2020-04-21 08:24:28 -0400 | |
---|---|---|
committer | 2020-04-21 08:24:28 -0400 | |
commit | 018d75775eab4a0f045949a9d069c57686ca2686 (patch) | |
tree | aac3a1a65cca0d4875795c55109a5c3e35efdefb /etc/idea.sh.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/idea.sh.profile')
-rw-r--r-- | etc/idea.sh.profile | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/etc/idea.sh.profile b/etc/idea.sh.profile deleted file mode 100644 index a7d0d531f..000000000 --- a/etc/idea.sh.profile +++ /dev/null | |||
@@ -1,40 +0,0 @@ | |||
1 | # Firejail profile for idea.sh | ||
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}/.jack-server | ||
11 | noblacklist ${HOME}/.jack-settings | ||
12 | noblacklist ${HOME}/.local/share/JetBrains | ||
13 | noblacklist ${HOME}/.ssh | ||
14 | noblacklist ${HOME}/.tooling | ||
15 | |||
16 | # Allows files commonly used by IDEs | ||
17 | include allow-common-devel.inc | ||
18 | |||
19 | include disable-common.inc | ||
20 | include disable-passwdmgr.inc | ||
21 | include disable-programs.inc | ||
22 | |||
23 | caps.drop all | ||
24 | netfilter | ||
25 | nodvd | ||
26 | nogroups | ||
27 | nonewprivs | ||
28 | noroot | ||
29 | notv | ||
30 | nou2f | ||
31 | novideo | ||
32 | protocol unix,inet,inet6 | ||
33 | seccomp | ||
34 | shell none | ||
35 | |||
36 | private-cache | ||
37 | private-dev | ||
38 | # private-tmp | ||
39 | |||
40 | noexec /tmp | ||