X-Git-Url: https://git.madduck.net/etc/awesome.git/blobdiff_plain/49a4df385e953156e6d1e2ee0bcfd07d8501d0f4..af3427c7dfcf991c56a099ac1450e54db867ae51:/helpers.lua diff --git a/helpers.lua b/helpers.lua index b1a195c..313579f 100644 --- a/helpers.lua +++ b/helpers.lua @@ -1,23 +1,18 @@ - --[[ - - Licensed under GNU General Public License v2 - * (c) 2013, Luke Bonham - ---]] + Licensed under GNU General Public License v2 + * (c) 2013, Luca CPZ +--]] + +local spawn = require("awful.spawn") +local timer = require("gears.timer") local debug = require("debug") local io = { lines = io.lines, - open = io.open, - popen = io.popen } + open = io.open } local rawget = rawget local table = { sort = table.sort } -local easy_async = require("awful.spawn").easy_async -local timer = require("gears.timer") -local wibox = require("wibox") - -- Lain helper functions for internal use -- lain.helpers local helpers = {} @@ -110,27 +105,34 @@ end -- {{{ Pipe operations --- return the full output of an input command (synchronous pipe) --- @param cmd the input command --- @return command output (string) -function helpers.read_pipe(cmd) - local f = io.popen(cmd) - local output = f:read("*all") - f:close() - return output -end - -- 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) - return easy_async(cmd, + return spawn.easy_async(cmd, function (stdout, stderr, reason, exit_code) - callback(stdout) + callback(stdout, exit_code) end) end +-- like above, but call spawn.easy_async with a shell +function helpers.async_with_shell(cmd, callback) + return spawn.easy_async_with_shell(cmd, + function (stdout, stderr, reason, exit_code) + callback(stdout, exit_code) + end) +end + +-- run a command and execute a function on its output line by line +function helpers.line_callback(cmd, callback) + return spawn.with_line_callback(cmd, { + stdout = function (line) + callback(line) + end, + }) +end + -- }}} -- {{{ A map utility @@ -177,27 +179,27 @@ function helpers.spairs(t) end end --- create a textbox with no spacing issues -function helpers.make_widget_textbox() - local w = wibox.widget.textbox() - local t = wibox.widget.base.make_widget(w) - t.widget = w - return t +-- create trivial partition of a set. The trivial partition set is the simplest +-- partition of a set. For e.g., the trivial partition set of {a, b, c}, is +-- simply {{a}, {b}, {c}}. +function helpers.trivial_partition_set(set) + local ss = {} + for _,e in pairs(set) do + ss[#ss+1] = {e} + end + return ss end --- shallow copy a table -function helpers.table_shallowcopy(orig) - local orig_type = type(orig) - local copy - if orig_type == 'table' then - copy = {} - for orig_key, orig_value in pairs(orig) do - copy[orig_key] = orig_value +-- creates the powerset of a given set +function helpers.powerset(s) + 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 - else -- number, string, boolean, etc - copy = orig end - return copy + return t end -- }}}