diff options
-rw-r--r-- | etc/allow-lua.inc | 1 | ||||
-rw-r--r-- | etc/disable-interpreters.inc | 1 | ||||
-rw-r--r-- | etc/mpv.profile | 2 |
3 files changed, 4 insertions, 0 deletions
diff --git a/etc/allow-lua.inc b/etc/allow-lua.inc index fbdee22ee..c3c1baa44 100644 --- a/etc/allow-lua.inc +++ b/etc/allow-lua.inc | |||
@@ -4,5 +4,6 @@ include allow-lua.local | |||
4 | 4 | ||
5 | noblacklist ${PATH}/lua* | 5 | noblacklist ${PATH}/lua* |
6 | noblacklist /usr/include/lua* | 6 | noblacklist /usr/include/lua* |
7 | noblacklist /usr/lib/liblua* | ||
7 | noblacklist /usr/lib/lua | 8 | noblacklist /usr/lib/lua |
8 | noblacklist /usr/share/lua | 9 | noblacklist /usr/share/lua |
diff --git a/etc/disable-interpreters.inc b/etc/disable-interpreters.inc index ae539e1bc..c51c5fb63 100644 --- a/etc/disable-interpreters.inc +++ b/etc/disable-interpreters.inc | |||
@@ -13,6 +13,7 @@ blacklist /usr/lib64/libgjs* | |||
13 | # Lua | 13 | # Lua |
14 | blacklist ${PATH}/lua* | 14 | blacklist ${PATH}/lua* |
15 | blacklist /usr/include/lua* | 15 | blacklist /usr/include/lua* |
16 | blacklist /usr/lib/liblua* | ||
16 | blacklist /usr/lib/lua | 17 | blacklist /usr/lib/lua |
17 | blacklist /usr/share/lua | 18 | blacklist /usr/share/lua |
18 | 19 | ||
diff --git a/etc/mpv.profile b/etc/mpv.profile index 56cd66199..80c45d20b 100644 --- a/etc/mpv.profile +++ b/etc/mpv.profile | |||
@@ -11,6 +11,8 @@ noblacklist ${HOME}/.config/mpv | |||
11 | noblacklist ${HOME}/.config/youtube-dl | 11 | noblacklist ${HOME}/.config/youtube-dl |
12 | noblacklist ${HOME}/.netrc | 12 | noblacklist ${HOME}/.netrc |
13 | 13 | ||
14 | # Allow lua (blacklisted by disable-interpreters.inc) | ||
15 | include allow-lua.inc | ||
14 | # Allow python (blacklisted by disable-interpreters.inc) | 16 | # Allow python (blacklisted by disable-interpreters.inc) |
15 | include allow-python2.inc | 17 | include allow-python2.inc |
16 | include allow-python3.inc | 18 | include allow-python3.inc |