diff options
Diffstat (limited to 'etc/mendeleydesktop.profile')
-rw-r--r-- | etc/mendeleydesktop.profile | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/etc/mendeleydesktop.profile b/etc/mendeleydesktop.profile index d54371371..1f02ff5c0 100644 --- a/etc/mendeleydesktop.profile +++ b/etc/mendeleydesktop.profile | |||
@@ -15,12 +15,8 @@ noblacklist ${HOME}/.pki | |||
15 | noblacklist ${HOME}/.local/share/pki | 15 | noblacklist ${HOME}/.local/share/pki |
16 | 16 | ||
17 | # Allow python (blacklisted by disable-interpreters.inc) | 17 | # Allow python (blacklisted by disable-interpreters.inc) |
18 | noblacklist ${PATH}/python2* | 18 | include allow-python2.inc |
19 | noblacklist ${PATH}/python3* | 19 | include allow-python3.inc |
20 | noblacklist /usr/lib/python2* | ||
21 | noblacklist /usr/lib/python3* | ||
22 | noblacklist /usr/local/lib/python2* | ||
23 | noblacklist /usr/local/lib/python3* | ||
24 | 20 | ||
25 | include disable-common.inc | 21 | include disable-common.inc |
26 | include disable-devel.inc | 22 | include disable-devel.inc |
@@ -47,7 +43,7 @@ shell none | |||
47 | tracelog | 43 | tracelog |
48 | 44 | ||
49 | disable-mnt | 45 | disable-mnt |
50 | private-bin mendeleydesktop,python*,env,gconftool-2,which,sh,ln,cat,update-desktop-database | 46 | private-bin cat,env,gconftool-2,ln,mendeleydesktop,python*,sh,update-desktop-database,which |
51 | private-dev | 47 | private-dev |
52 | private-tmp | 48 | private-tmp |
53 | 49 | ||