diff options
| author |  rusty-snake <print_hello_world+Public@protonmail.com> | 2019-01-29 21:20:45 +0100 |
|---|---|---|
| committer | rusty-snake <print_hello_world+Public@protonmail.com> | 2019-01-29 21:20:45 +0100 |
| commit | 665a79ac64add957db1561018d0ed501f50fb177 (patch) | |
| tree | 51ade780aff9b32c3fab5ba6092d455d3f89ae7b /etc/gedit.profile | |
| parent | Update wget.profile (diff) | |
| download | firejail-665a79ac64add957db1561018d0ed501f50fb177.tar.gz firejail-665a79ac64add957db1561018d0ed501f50fb177.tar.zst firejail-665a79ac64add957db1561018d0ed501f50fb177.zip | |
Update some IDE profiles
Diffstat (limited to 'etc/gedit.profile')
| -rw-r--r-- | etc/gedit.profile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/gedit.profile b/etc/gedit.profile index d537f1294..af0a3da56 100644 --- a/etc/gedit.profile +++ b/etc/gedit.profile | |||
| @@ -9,6 +9,7 @@ include globals.local | |||
| 9 | noblacklist ${HOME}/.config/enchant | 9 | noblacklist ${HOME}/.config/enchant |
| 10 | noblacklist ${HOME}/.config/gedit | 10 | noblacklist ${HOME}/.config/gedit |
| 11 | noblacklist ${HOME}/.gitconfig | 11 | noblacklist ${HOME}/.gitconfig |
| 12 | noblacklist ${HOME}/.python-history | ||
| 12 | 13 | ||
| 13 | include disable-common.inc | 14 | include disable-common.inc |
| 14 | # include disable-devel.inc | 15 | # include disable-devel.inc |