2013-09-07 12:06:42 +02:00
|
|
|
|
|
|
|
--[[
|
2013-09-13 18:15:25 +02:00
|
|
|
|
|
|
|
Licensed under GNU General Public License v2
|
2014-08-08 14:25:21 +02:00
|
|
|
* (c) 2013, Luke Bonham
|
2013-09-13 18:15:25 +02:00
|
|
|
|
2013-09-07 12:06:42 +02:00
|
|
|
--]]
|
|
|
|
|
|
|
|
local debug = require("debug")
|
2013-09-13 00:07:44 +02:00
|
|
|
|
2016-09-13 16:29:17 +02:00
|
|
|
local assert = assert
|
2015-10-02 00:38:40 +02:00
|
|
|
local capi = { timer = (type(timer) == 'table' and timer or require ("gears.timer")) }
|
2015-02-01 11:39:26 +01:00
|
|
|
local io = { open = io.open,
|
2015-08-13 01:56:37 +02:00
|
|
|
lines = io.lines,
|
|
|
|
popen = io.popen }
|
2013-09-13 00:07:44 +02:00
|
|
|
local rawget = rawget
|
2015-11-18 09:02:16 +01:00
|
|
|
local table = { sort = table.sort }
|
2013-09-07 12:06:42 +02:00
|
|
|
|
2017-01-03 12:21:50 +01:00
|
|
|
local wibox = require("wibox")
|
|
|
|
|
2013-09-07 12:06:42 +02:00
|
|
|
-- Lain helper functions for internal use
|
|
|
|
-- lain.helpers
|
|
|
|
local helpers = {}
|
|
|
|
|
|
|
|
helpers.lain_dir = debug.getinfo(1, 'S').source:match[[^@(.*/).*$]]
|
|
|
|
helpers.icons_dir = helpers.lain_dir .. 'icons/'
|
|
|
|
helpers.scripts_dir = helpers.lain_dir .. 'scripts/'
|
|
|
|
|
|
|
|
-- {{{ Modules loader
|
|
|
|
|
|
|
|
function helpers.wrequire(table, key)
|
|
|
|
local module = rawget(table, key)
|
|
|
|
return module or require(table._NAME .. '.' .. key)
|
|
|
|
end
|
|
|
|
|
|
|
|
-- }}}
|
|
|
|
|
2014-01-29 11:56:32 +01:00
|
|
|
-- {{{ File operations
|
2013-09-07 12:06:42 +02:00
|
|
|
|
2014-02-09 10:36:40 +01:00
|
|
|
-- see if the file exists and is readable
|
2014-01-29 11:56:32 +01:00
|
|
|
function helpers.file_exists(file)
|
2014-02-08 12:10:13 +01:00
|
|
|
local f = io.open(file)
|
2014-02-09 10:36:40 +01:00
|
|
|
if f then
|
|
|
|
local s = f:read()
|
|
|
|
f:close()
|
|
|
|
f = s
|
|
|
|
end
|
2014-01-29 11:56:32 +01:00
|
|
|
return f ~= nil
|
|
|
|
end
|
|
|
|
|
2015-07-03 12:17:31 +02:00
|
|
|
-- get all lines from a file, returns an empty
|
2014-01-29 11:56:32 +01:00
|
|
|
-- list/table if the file does not exist
|
|
|
|
function helpers.lines_from(file)
|
|
|
|
if not helpers.file_exists(file) then return {} end
|
2016-03-30 16:34:41 +02:00
|
|
|
local lines = {}
|
2015-07-03 12:17:31 +02:00
|
|
|
for line in io.lines(file) do
|
2014-01-29 11:56:32 +01:00
|
|
|
lines[#lines + 1] = line
|
|
|
|
end
|
|
|
|
return lines
|
|
|
|
end
|
|
|
|
|
2016-03-30 16:34:41 +02:00
|
|
|
-- match all lines from a file, returns an empty
|
|
|
|
-- list/table if the file or match does not exist
|
|
|
|
function helpers.lines_match(regexp, file)
|
|
|
|
local lines = {}
|
|
|
|
for index,line in pairs(helpers.lines_from(file)) do
|
2016-09-13 16:29:17 +02:00
|
|
|
if string.match(line, regexp) then
|
2016-03-30 16:34:41 +02:00
|
|
|
lines[index] = line
|
2016-09-13 16:29:17 +02:00
|
|
|
end
|
2016-03-30 16:34:41 +02:00
|
|
|
end
|
|
|
|
return lines
|
|
|
|
end
|
|
|
|
|
2014-01-29 11:56:32 +01:00
|
|
|
-- get first line of a file, return nil if
|
|
|
|
-- the file does not exist
|
|
|
|
function helpers.first_line(file)
|
|
|
|
return helpers.lines_from(file)[1]
|
|
|
|
end
|
2013-09-07 12:06:42 +02:00
|
|
|
|
2014-01-29 11:56:32 +01:00
|
|
|
-- get first non empty line from a file,
|
|
|
|
-- returns nil otherwise
|
|
|
|
function helpers.first_nonempty_line(file)
|
2014-01-29 20:08:16 +01:00
|
|
|
for k,v in pairs(helpers.lines_from(file)) do
|
2015-07-03 12:17:31 +02:00
|
|
|
if #v then return v end
|
2014-01-29 11:56:32 +01:00
|
|
|
end
|
|
|
|
return nil
|
2013-09-07 12:06:42 +02:00
|
|
|
end
|
|
|
|
|
|
|
|
-- }}}
|
|
|
|
|
2013-09-13 18:15:25 +02:00
|
|
|
-- {{{ Timer maker
|
2013-09-10 23:02:11 +02:00
|
|
|
|
|
|
|
helpers.timer_table = {}
|
|
|
|
|
2016-03-02 13:48:55 +01:00
|
|
|
function helpers.newtimer(_name, timeout, fun, nostart)
|
|
|
|
local name = timeout
|
|
|
|
if not helpers.timer_table[name] then
|
|
|
|
helpers.timer_table[name] = capi.timer({ timeout = timeout })
|
2016-08-11 13:43:35 +02:00
|
|
|
helpers.timer_table[name]:start()
|
2016-03-02 13:48:55 +01:00
|
|
|
end
|
2013-09-10 23:02:11 +02:00
|
|
|
helpers.timer_table[name]:connect_signal("timeout", fun)
|
|
|
|
if not nostart then
|
|
|
|
helpers.timer_table[name]:emit_signal("timeout")
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
-- }}}
|
|
|
|
|
2015-08-13 01:56:37 +02:00
|
|
|
-- {{{ Pipe operations
|
|
|
|
|
2016-11-06 12:18:34 +01:00
|
|
|
-- read the full output of a command output
|
2015-08-13 01:56:37 +02:00
|
|
|
function helpers.read_pipe(cmd)
|
|
|
|
local f = assert(io.popen(cmd))
|
|
|
|
local output = f:read("*all")
|
|
|
|
f:close()
|
|
|
|
return output
|
|
|
|
end
|
|
|
|
|
2016-11-06 12:18:34 +01:00
|
|
|
-- return line iterator of a command output
|
|
|
|
function helpers.pipelines(...)
|
|
|
|
local f = assert(io.popen(...))
|
|
|
|
return function () -- iterator
|
|
|
|
local data = f:read()
|
|
|
|
if data == nil then f:close() end
|
|
|
|
return data
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2015-08-13 01:56:37 +02:00
|
|
|
-- }}}
|
|
|
|
|
2013-09-07 12:06:42 +02:00
|
|
|
-- {{{ A map utility
|
|
|
|
|
|
|
|
helpers.map_table = {}
|
|
|
|
|
|
|
|
function helpers.set_map(element, value)
|
|
|
|
helpers.map_table[element] = value
|
|
|
|
end
|
|
|
|
|
|
|
|
function helpers.get_map(element)
|
|
|
|
return helpers.map_table[element]
|
|
|
|
end
|
|
|
|
|
|
|
|
-- }}}
|
|
|
|
|
2017-01-03 12:21:50 +01:00
|
|
|
-- {{{ Misc
|
|
|
|
|
|
|
|
-- iterate over table of records sorted by keys
|
2015-11-18 09:02:16 +01:00
|
|
|
function helpers.spairs(t)
|
|
|
|
-- collect the keys
|
|
|
|
local keys = {}
|
|
|
|
for k in pairs(t) do keys[#keys+1] = k end
|
|
|
|
|
|
|
|
table.sort(keys)
|
|
|
|
|
|
|
|
-- return the iterator function
|
|
|
|
local i = 0
|
|
|
|
return function()
|
|
|
|
i = i + 1
|
|
|
|
if keys[i] then
|
|
|
|
return keys[i], t[keys[i]]
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2017-01-03 12:21:50 +01:00
|
|
|
-- create a lain textbox widget
|
|
|
|
function helpers.make_widget_textbox()
|
|
|
|
local w = wibox.widget.textbox('')
|
|
|
|
local t = wibox.widget.base.make_widget(w)
|
|
|
|
t.widget = w
|
|
|
|
return t
|
|
|
|
end
|
|
|
|
|
|
|
|
-- }}}
|
2016-11-06 12:18:34 +01:00
|
|
|
|
2013-09-07 12:06:42 +02:00
|
|
|
return helpers
|