diff options
author | 2018-01-22 20:12:25 -0500 | |
---|---|---|
committer | 2018-01-22 20:12:25 -0500 | |
commit | d7050ff65eb22e382ae99950df5147f925d8e907 (patch) | |
tree | bbb9532dfe2de49511987656d63b4bec953a9d2f | |
parent | Allow audio in Tor browser, and fix gedit not launching (diff) | |
download | firejail-d7050ff65eb22e382ae99950df5147f925d8e907.tar.gz firejail-d7050ff65eb22e382ae99950df5147f925d8e907.tar.zst firejail-d7050ff65eb22e382ae99950df5147f925d8e907.zip |
Add another profile alias for idea.sh
-rw-r--r-- | etc/idea.profile | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/etc/idea.profile b/etc/idea.profile new file mode 100644 index 000000000..623d71734 --- /dev/null +++ b/etc/idea.profile | |||
@@ -0,0 +1,10 @@ | |||
1 | # Firejail profile for idea | ||
2 | # This file is overwritten after every install/update | ||
3 | # Persistent local customizations | ||
4 | include /etc/firejail/idea.local | ||
5 | # Persistent global definitions | ||
6 | include /etc/firejail/globals.local | ||
7 | |||
8 | |||
9 | # Redirect | ||
10 | include /etc/firejail/idea.sh.profile | ||