(maintained elsewhere) convert.lua (video -> 720p mp4)

#!/usr/bin/env luajit

-- the version at https://github.com/TangentFoxy/lua-scripts called 720p.lua is better

local name = arg[1] or "list.txt"
local file = io.open(name, "r")

for line in file:lines() do
  os.execute("ffmpeg -i \"" .. line .. "\" -vf scale=1280:0 \"" .. line:sub(1, line:find(".", 1, true) - 1) .. ".mp4\"")
  os.execute("sleep " .. (15 * 60))
end

file:close()