2022-12-24 20:58:57 +00:00
|
|
|
--[[
|
|
|
|
|
|
|
|
Licensed under GNU General Public License v2
|
|
|
|
* (c) 2013, Luca CPZ
|
|
|
|
|
|
|
|
--]]
|
|
|
|
|
2023-01-25 19:10:58 +00:00
|
|
|
local spawn = require('awful.spawn')
|
|
|
|
local timer = require('gears.timer')
|
|
|
|
local debug = require('debug')
|
|
|
|
local io = { lines = io.lines, open = io.open }
|
|
|
|
local pairs = pairs
|
2022-12-24 20:58:57 +00:00
|
|
|
local rawget = rawget
|
2023-01-25 19:10:58 +00:00
|
|
|
local tsort = table.sort
|
2022-12-24 20:58:57 +00:00
|
|
|
local unpack = unpack or table.unpack -- lua 5.1 retro-compatibility
|
|
|
|
|
|
|
|
-- Lain helper functions for internal use
|
|
|
|
-- lain.helpers
|
|
|
|
local helpers = {}
|
|
|
|
|
2023-01-25 19:10:58 +00:00
|
|
|
helpers.lain_dir = debug.getinfo(1, 'S').source:match([[^@(.*/).*$]])
|
|
|
|
helpers.icons_dir = helpers.lain_dir .. 'icons/'
|
2022-12-24 20:58:57 +00:00
|
|
|
helpers.scripts_dir = helpers.lain_dir .. 'scripts/'
|
|
|
|
|
|
|
|
-- {{{ Modules loader
|
|
|
|
|
|
|
|
function helpers.wrequire(t, k)
|
2023-01-25 19:10:58 +00:00
|
|
|
return rawget(t, k) or require(t._NAME .. '.' .. k)
|
2022-12-24 20:58:57 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
-- }}}
|
|
|
|
|
|
|
|
-- {{{ File operations
|
|
|
|
|
|
|
|
-- check if the file exists and is readable
|
|
|
|
function helpers.file_exists(path)
|
2023-01-25 19:10:58 +00:00
|
|
|
local file = io.open(path, 'rb')
|
|
|
|
if file then
|
|
|
|
file:close()
|
|
|
|
end
|
|
|
|
return file ~= nil
|
2022-12-24 20:58:57 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
-- get a table with all lines from a file
|
|
|
|
function helpers.lines_from(path)
|
2023-01-25 19:10:58 +00:00
|
|
|
local lines = {}
|
|
|
|
for line in io.lines(path) do
|
|
|
|
lines[#lines + 1] = line
|
|
|
|
end
|
|
|
|
return lines
|
2022-12-24 20:58:57 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
-- get a table with all lines from a file matching regexp
|
|
|
|
function helpers.lines_match(regexp, path)
|
2023-01-25 19:10:58 +00:00
|
|
|
local lines = {}
|
|
|
|
for line in io.lines(path) do
|
|
|
|
if string.match(line, regexp) then
|
|
|
|
lines[#lines + 1] = line
|
|
|
|
end
|
|
|
|
end
|
|
|
|
return lines
|
2022-12-24 20:58:57 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
-- get first line of a file
|
|
|
|
function helpers.first_line(path)
|
2023-01-25 19:10:58 +00:00
|
|
|
local file, first = io.open(path, 'rb'), nil
|
|
|
|
if file then
|
|
|
|
first = file:read('*l')
|
|
|
|
file:close()
|
|
|
|
end
|
|
|
|
return first
|
2022-12-24 20:58:57 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
-- get first non empty line from a file
|
|
|
|
function helpers.first_nonempty_line(path)
|
2023-01-25 19:10:58 +00:00
|
|
|
for line in io.lines(path) do
|
|
|
|
if #line then
|
|
|
|
return line
|
|
|
|
end
|
|
|
|
end
|
|
|
|
return nil
|
2022-12-24 20:58:57 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
-- }}}
|
|
|
|
|
|
|
|
-- {{{ Timer maker
|
|
|
|
|
|
|
|
helpers.timer_table = {}
|
|
|
|
|
|
|
|
function helpers.newtimer(name, timeout, fun, nostart, stoppable)
|
2023-01-25 19:10:58 +00:00
|
|
|
if not name or #name == 0 then
|
|
|
|
return
|
|
|
|
end
|
|
|
|
name = (stoppable and name) or timeout
|
|
|
|
if not helpers.timer_table[name] then
|
|
|
|
helpers.timer_table[name] = timer({ timeout = timeout })
|
|
|
|
helpers.timer_table[name]:start()
|
|
|
|
end
|
|
|
|
helpers.timer_table[name]:connect_signal('timeout', fun)
|
|
|
|
if not nostart then
|
|
|
|
helpers.timer_table[name]:emit_signal('timeout')
|
|
|
|
end
|
|
|
|
return stoppable and helpers.timer_table[name]
|
2022-12-24 20:58:57 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
-- }}}
|
|
|
|
|
|
|
|
-- {{{ Pipe operations
|
|
|
|
|
|
|
|
-- run a command and execute a function on its output (asynchronous pipe)
|
|
|
|
-- @param cmd the input command
|
|
|
|
-- @param callback function to execute on cmd output
|
|
|
|
-- @return cmd PID
|
|
|
|
function helpers.async(cmd, callback)
|
2023-01-25 19:10:58 +00:00
|
|
|
return spawn.easy_async(cmd, function(stdout, _, _, exit_code)
|
|
|
|
callback(stdout, exit_code)
|
|
|
|
end)
|
2022-12-24 20:58:57 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
-- like above, but call spawn.easy_async with a shell
|
|
|
|
function helpers.async_with_shell(cmd, callback)
|
2023-01-25 19:10:58 +00:00
|
|
|
return spawn.easy_async_with_shell(cmd, function(stdout, _, _, exit_code)
|
|
|
|
callback(stdout, exit_code)
|
|
|
|
end)
|
2022-12-24 20:58:57 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
-- run a command and execute a function on its output line by line
|
|
|
|
function helpers.line_callback(cmd, callback)
|
2023-01-25 19:10:58 +00:00
|
|
|
return spawn.with_line_callback(cmd, {
|
|
|
|
stdout = function(line)
|
|
|
|
callback(line)
|
|
|
|
end,
|
|
|
|
})
|
2022-12-24 20:58:57 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
-- }}}
|
|
|
|
|
|
|
|
-- {{{ A map utility
|
|
|
|
|
|
|
|
helpers.map_table = {}
|
|
|
|
|
|
|
|
function helpers.set_map(element, value)
|
2023-01-25 19:10:58 +00:00
|
|
|
helpers.map_table[element] = value
|
2022-12-24 20:58:57 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
function helpers.get_map(element)
|
2023-01-25 19:10:58 +00:00
|
|
|
return helpers.map_table[element]
|
2022-12-24 20:58:57 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
-- }}}
|
|
|
|
|
|
|
|
-- {{{ Misc
|
|
|
|
|
|
|
|
-- check if an element exist on a table
|
|
|
|
function helpers.element_in_table(element, tbl)
|
2023-01-25 19:10:58 +00:00
|
|
|
for _, i in pairs(tbl) do
|
|
|
|
if i == element then
|
|
|
|
return true
|
|
|
|
end
|
|
|
|
end
|
|
|
|
return false
|
2022-12-24 20:58:57 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
-- iterate over table of records sorted by keys
|
|
|
|
function helpers.spairs(t)
|
2023-01-25 19:10:58 +00:00
|
|
|
-- collect the keys
|
|
|
|
local keys = {}
|
|
|
|
for k in pairs(t) do
|
|
|
|
keys[#keys + 1] = k
|
|
|
|
end
|
2022-12-24 20:58:57 +00:00
|
|
|
|
2023-01-25 19:10:58 +00:00
|
|
|
tsort(keys)
|
2022-12-24 20:58:57 +00:00
|
|
|
|
2023-01-25 19:10:58 +00:00
|
|
|
-- return the iterator function
|
|
|
|
local i = 0
|
|
|
|
return function()
|
|
|
|
i = i + 1
|
|
|
|
if keys[i] then
|
|
|
|
return keys[i], t[keys[i]]
|
|
|
|
end
|
|
|
|
end
|
2022-12-24 20:58:57 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
-- create the partition of singletons of a given set
|
|
|
|
-- example: the trivial partition set of {a, b, c}, is {{a}, {b}, {c}}
|
|
|
|
function helpers.trivial_partition_set(set)
|
2023-01-25 19:10:58 +00:00
|
|
|
local ss = {}
|
|
|
|
for _, e in pairs(set) do
|
|
|
|
ss[#ss + 1] = { e }
|
|
|
|
end
|
|
|
|
return ss
|
2022-12-24 20:58:57 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
-- create the powerset of a given set
|
|
|
|
function helpers.powerset(s)
|
2023-01-25 19:10:58 +00:00
|
|
|
if not s then
|
|
|
|
return {}
|
|
|
|
end
|
|
|
|
local t = { {} }
|
|
|
|
for i = 1, #s do
|
|
|
|
for j = 1, #t do
|
|
|
|
t[#t + 1] = { s[i], unpack(t[j]) }
|
|
|
|
end
|
|
|
|
end
|
|
|
|
return t
|
2022-12-24 20:58:57 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
-- }}}
|
|
|
|
|
|
|
|
return helpers
|