diff options
Diffstat (limited to 'profiles/tome4.profile')
-rw-r--r-- | profiles/tome4.profile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/profiles/tome4.profile b/profiles/tome4.profile index 7a6e3b4..ced0cbd 100644 --- a/profiles/tome4.profile +++ b/profiles/tome4.profile @@ -4,6 +4,8 @@ include tome4.local # Persistent global definitions include globals.local +ignore include disable-shell.inc + noblacklist ${PATH}/lua* noblacklist /usr/lib/lua noblacklist /usr/include/lua* |