diff options
Diffstat (limited to 'etc/xed.profile')
-rw-r--r-- | etc/xed.profile | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/etc/xed.profile b/etc/xed.profile index cce0432a4..a02f1ef51 100644 --- a/etc/xed.profile +++ b/etc/xed.profile | |||
@@ -6,15 +6,14 @@ include xed.local | |||
6 | include globals.local | 6 | include globals.local |
7 | 7 | ||
8 | noblacklist ${HOME}/.config/xed | 8 | noblacklist ${HOME}/.config/xed |
9 | noblacklist ${HOME}/.python-history | ||
10 | noblacklist ${HOME}/.python_history | ||
11 | noblacklist ${HOME}/.pythonhist | ||
9 | noblacklist ${HOME}/.pythonrc.py | 12 | noblacklist ${HOME}/.pythonrc.py |
10 | 13 | ||
11 | # Allow python (blacklisted by disable-interpreters.inc) | 14 | # Allow python (blacklisted by disable-interpreters.inc) |
12 | noblacklist ${PATH}/python2* | 15 | include allow-python2.inc |
13 | noblacklist ${PATH}/python3* | 16 | include allow-python3.inc |
14 | noblacklist /usr/lib/python2* | ||
15 | noblacklist /usr/lib/python3* | ||
16 | noblacklist /usr/local/lib/python2* | ||
17 | noblacklist /usr/local/lib/python3* | ||
18 | 17 | ||
19 | include disable-common.inc | 18 | include disable-common.inc |
20 | include disable-devel.inc | 19 | include disable-devel.inc |
@@ -46,7 +45,6 @@ tracelog | |||
46 | 45 | ||
47 | private-bin xed | 46 | private-bin xed |
48 | private-dev | 47 | private-dev |
49 | # private-etc alternatives,fonts | ||
50 | private-tmp | 48 | private-tmp |
51 | 49 | ||
52 | # xed uses python plugins, memory-deny-write-execute breaks python | 50 | # xed uses python plugins, memory-deny-write-execute breaks python |