mirror of
https://github.com/koreader/koreader.git
synced 2025-12-13 20:36:53 +01:00
@@ -94,7 +94,7 @@ function FileManagerCollection:onMenuHold(item)
|
||||
},
|
||||
}
|
||||
-- NOTE: Duplicated from frontend/apps/filemanager/filemanager.lua
|
||||
if not Device:isAndroid() and util.isAllowedScript(item.file) then
|
||||
if Device:canExecuteScript(item.file) then
|
||||
table.insert(buttons, {
|
||||
{
|
||||
-- @translators This is the script's programming language (e.g., shell or python)
|
||||
|
||||
@@ -1035,7 +1035,7 @@ function CreDocument:register(registry)
|
||||
registry:addProvider("rtf", "application/rtf", self, 90)
|
||||
registry:addProvider("xhtml", "application/xhtml+xml", self, 90)
|
||||
registry:addProvider("zip", "application/zip", self, 10)
|
||||
-- Scripts that we allow running in the FM (c.f., util.isAllowedScript)
|
||||
-- Scripts that we allow running in the FM (c.f., Device:canExecuteScript)
|
||||
registry:addProvider("sh", "application/x-shellscript", self, 90)
|
||||
registry:addProvider("py", "text/x-python", self, 90)
|
||||
end
|
||||
|
||||
@@ -722,7 +722,7 @@ end
|
||||
--- Companion helper function that returns the script's language,
|
||||
--- based on the filme extension.
|
||||
---- @string filename
|
||||
---- @treturn string (lowercase) (or nil if !isAllowedScript)
|
||||
---- @treturn string (lowercase) (or nil if not Device:canExecuteScript(file))
|
||||
function util.getScriptType(file)
|
||||
local file_ext = string.lower(util.getFileNameSuffix(file))
|
||||
if file_ext == "sh" then
|
||||
|
||||
Reference in New Issue
Block a user