Minetest-WorldEditAdditions/worldeditadditions_commands/multi.lua

78 lines
2.4 KiB
Lua
Raw Normal View History

--- Executes multiple worldedit commands in sequence.
-- @module worldeditadditions.multi
-- explode(seperator, string)
-- From http://lua-users.org/wiki/SplitJoin
function explode(delim, str)
local ll, is_done
local delim_length = string.len(delim)
ll = 0
is_done = false
return function()
if is_done then return end
local result = nil
local loc = string.find(str, delim, ll, true) -- find the next d in the string
if loc ~= nil then -- if "not not" found then..
result = string.sub(str, ll, loc - 1) -- Save it in our array.
ll = loc + delim_length -- save just after where we found it for searching next time.
else
result = string.sub(str, ll) -- Save what's left in our array.
is_done = true
end
return result
end
end
-- From http://lua-users.org/wiki/StringTrim
function trim(s)
return (s:gsub("^%s*(.-)%s*$", "%1"))
end
minetest.register_chatcommand("/multi", {
params = "//<command_a> <args> //<command_b> <args> .....",
description = "Executes multiple chat commands in sequence.",
privs = { worldedit = true },
func = function(name, params_text)
2018-10-19 23:35:02 +02:00
local i = 1 -- For feedback only
local master_start_time = os.clock()
local times = {}
-- Things start at 1, not 0 in Lua :-(
for command in explode(" /", string.sub(params_text, 2)) do
2018-10-19 23:35:02 +02:00
local start_time = os.clock()
local found, _, command_name, args = command:find("^([^%s]+)%s(.+)$")
if not found then command_name = command end
command_name = trim(command_name)
2019-06-18 01:41:34 +02:00
worldedit.player_notify(name, "#"..i..": /"..command)
local cmd = minetest.chatcommands[command_name]
if not cmd then
return false, "Error: "..command_name.." isn't a valid command."
end
if not minetest.check_player_privs(name, cmd.privs) then
2018-10-19 23:35:02 +02:00
return false, "Your privileges are insufficient to execute one or more commands in that list."
end
minetest.log("action", name.." runs "..command)
cmd.func(name, args)
2018-10-19 23:35:02 +02:00
times[#times + 1] = (os.clock() - start_time) * 1000
i = i + 1
end
2018-10-19 23:35:02 +02:00
local total_time = (os.clock() - master_start_time) * 1000
local done_message = string.format("Executed %d commands in %.2fms (", #times, total_time)
for j=1,#times do
done_message = done_message..string.format("%.2fms, ", times[j])
end
done_message = string.sub(done_message, 0, string.len(done_message) - 2)..")"
worldedit.player_notify(name, done_message)
end
})