diff options
Diffstat (limited to 'etc/pluma.profile')
-rw-r--r-- | etc/pluma.profile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/etc/pluma.profile b/etc/pluma.profile index 47626753a..81b2b1481 100644 --- a/etc/pluma.profile +++ b/etc/pluma.profile | |||
@@ -7,6 +7,9 @@ include pluma.local | |||
7 | include globals.local | 7 | include globals.local |
8 | 8 | ||
9 | noblacklist ${HOME}/.config/pluma | 9 | noblacklist ${HOME}/.config/pluma |
10 | noblacklist ${HOME}/.python-history | ||
11 | noblacklist ${HOME}/.python_history | ||
12 | noblacklist ${HOME}/.pythonhist | ||
10 | noblacklist ${HOME}/.pythonrc.py | 13 | noblacklist ${HOME}/.pythonrc.py |
11 | 14 | ||
12 | include disable-common.inc | 15 | include disable-common.inc |
@@ -39,7 +42,6 @@ tracelog | |||
39 | 42 | ||
40 | private-bin pluma | 43 | private-bin pluma |
41 | private-dev | 44 | private-dev |
42 | # private-etc alternatives,fonts | ||
43 | private-lib pluma | 45 | private-lib pluma |
44 | private-tmp | 46 | private-tmp |
45 | 47 | ||