2020-08-15 03:35:54 +02:00
|
|
|
-------------------------------------------------
|
|
|
|
-- Docker Widget for Awesome Window Manager
|
|
|
|
-- Lists containers and allows to manage them
|
|
|
|
-- More details could be found here:
|
|
|
|
-- https://github.com/streetturtle/awesome-wm-widgets/tree/master/docker-widget
|
|
|
|
|
|
|
|
-- @author Pavel Makhov
|
|
|
|
-- @copyright 2020 Pavel Makhov
|
|
|
|
-------------------------------------------------
|
|
|
|
|
|
|
|
local awful = require("awful")
|
|
|
|
local wibox = require("wibox")
|
|
|
|
local spawn = require("awful.spawn")
|
|
|
|
local naughty = require("naughty")
|
|
|
|
local gears = require("gears")
|
|
|
|
local beautiful = require("beautiful")
|
|
|
|
|
|
|
|
local HOME_DIR = os.getenv("HOME")
|
|
|
|
local WIDGET_DIR = HOME_DIR .. '/.config/awesome/awesome-wm-widgets/docker-widget'
|
|
|
|
local ICONS_DIR = WIDGET_DIR .. '/icons/'
|
|
|
|
|
2023-04-23 23:01:13 +02:00
|
|
|
local LIST_CONTAINERS_CMD = [[bash -c "%s container ls -a -s -n %s]]
|
2020-12-06 02:57:04 +01:00
|
|
|
.. [[ --format '{{.Names}}::{{.ID}}::{{.Image}}::{{.Status}}::{{.Size}}'"]]
|
2020-08-17 04:05:26 +02:00
|
|
|
|
2023-04-23 23:01:13 +02:00
|
|
|
local DOCKER_DEFAULT_STATUS_PATTERN = '(.*)::(.*)::(.*)::(%w*) (.*)::(.*)'
|
|
|
|
local DOCKER_CREATED_STATUS_PATTERN = '(.*)::(.*)::(.*)::Created::(.*)'
|
|
|
|
|
2020-08-15 03:35:54 +02:00
|
|
|
--- Utility function to show warning messages
|
|
|
|
local function show_warning(message)
|
|
|
|
naughty.notify{
|
|
|
|
preset = naughty.config.presets.critical,
|
|
|
|
title = 'Docker Widget',
|
|
|
|
text = message}
|
|
|
|
end
|
|
|
|
|
|
|
|
local popup = awful.popup{
|
|
|
|
ontop = true,
|
|
|
|
visible = false,
|
|
|
|
shape = gears.shape.rounded_rect,
|
|
|
|
border_width = 1,
|
|
|
|
border_color = beautiful.bg_focus,
|
|
|
|
maximum_width = 400,
|
|
|
|
offset = { y = 5 },
|
|
|
|
widget = {}
|
|
|
|
}
|
|
|
|
|
|
|
|
local docker_widget = wibox.widget {
|
|
|
|
{
|
|
|
|
{
|
|
|
|
id = 'icon',
|
|
|
|
widget = wibox.widget.imagebox
|
|
|
|
},
|
|
|
|
margins = 4,
|
|
|
|
layout = wibox.container.margin
|
|
|
|
},
|
2021-03-06 19:20:35 +01:00
|
|
|
shape = function(cr, width, height)
|
|
|
|
gears.shape.rounded_rect(cr, width, height, 4)
|
|
|
|
end,
|
|
|
|
widget = wibox.container.background,
|
2020-08-15 03:35:54 +02:00
|
|
|
set_icon = function(self, new_icon)
|
2020-08-17 04:05:26 +02:00
|
|
|
self:get_children_by_id("icon")[1].image = new_icon
|
2020-08-15 03:35:54 +02:00
|
|
|
end
|
|
|
|
}
|
|
|
|
|
|
|
|
local parse_container = function(line)
|
2023-11-18 18:56:13 +01:00
|
|
|
local name, id, image, status, how_long, size, actual_status
|
2023-04-23 23:13:15 +02:00
|
|
|
if string.find(line, '::Created::') then
|
2023-04-23 23:01:13 +02:00
|
|
|
name, id, image, size = line:match(DOCKER_CREATED_STATUS_PATTERN)
|
|
|
|
actual_status = 'Created'
|
|
|
|
how_long = 'Never started'
|
|
|
|
else
|
|
|
|
name, id, image, status, how_long, size = line:match(DOCKER_DEFAULT_STATUS_PATTERN)
|
|
|
|
if status == 'Up' and how_long:find('Paused') then actual_status = 'Paused'
|
|
|
|
else actual_status = status end
|
|
|
|
end
|
2020-08-17 23:00:55 +02:00
|
|
|
|
|
|
|
how_long = how_long:gsub('%s?%(.*%)%s?', '')
|
2020-08-15 03:35:54 +02:00
|
|
|
|
|
|
|
local container = {
|
|
|
|
name = name,
|
|
|
|
id = id,
|
|
|
|
image = image,
|
|
|
|
status = actual_status,
|
2020-08-17 23:00:55 +02:00
|
|
|
how_long = how_long,
|
|
|
|
size = size,
|
2020-08-15 03:35:54 +02:00
|
|
|
is_up = function() return status == 'Up' end,
|
2020-08-17 23:00:55 +02:00
|
|
|
is_paused = function() return actual_status:find('Paused') end,
|
2023-04-23 23:01:13 +02:00
|
|
|
is_exited = function() return status == 'Exited' end,
|
|
|
|
is_created = function() return status == 'Created' end
|
2020-08-15 03:35:54 +02:00
|
|
|
}
|
|
|
|
return container
|
|
|
|
end
|
|
|
|
|
|
|
|
local status_to_icon_name = {
|
2020-08-16 04:40:15 +02:00
|
|
|
Up = ICONS_DIR .. 'play.svg',
|
2023-05-12 08:57:05 +02:00
|
|
|
Created = ICONS_DIR .. 'square.svg',
|
2020-08-16 04:40:15 +02:00
|
|
|
Exited = ICONS_DIR .. 'square.svg',
|
|
|
|
Paused = ICONS_DIR .. 'pause.svg'
|
2020-08-15 03:35:54 +02:00
|
|
|
}
|
|
|
|
|
2020-12-06 02:57:04 +01:00
|
|
|
local function worker(user_args)
|
2020-08-15 03:35:54 +02:00
|
|
|
|
2020-12-06 02:57:04 +01:00
|
|
|
local args = user_args or {}
|
2020-08-15 03:35:54 +02:00
|
|
|
|
|
|
|
local icon = args.icon or ICONS_DIR .. 'docker.svg'
|
2020-08-18 16:05:20 +02:00
|
|
|
local number_of_containers = args.number_of_containers or -1
|
2023-04-23 23:01:13 +02:00
|
|
|
local executable_name = args.executable_name or 'docker'
|
|
|
|
-- 180 is the default width of the container details part of the widget and
|
|
|
|
-- 90 is the default width of the control buttons
|
|
|
|
local max_widget_width = args.max_widget_width or 180 + 90
|
2020-08-15 03:35:54 +02:00
|
|
|
|
|
|
|
docker_widget:set_icon(icon)
|
|
|
|
|
|
|
|
local rows = {
|
|
|
|
{ widget = wibox.widget.textbox },
|
|
|
|
layout = wibox.layout.fixed.vertical,
|
|
|
|
}
|
|
|
|
|
2020-12-06 20:47:40 +01:00
|
|
|
local function rebuild_widget(containers, errors, _, _)
|
|
|
|
if errors ~= '' then
|
|
|
|
show_warning(errors)
|
2020-08-15 03:35:54 +02:00
|
|
|
return
|
|
|
|
end
|
|
|
|
|
|
|
|
for i = 0, #rows do rows[i]=nil end
|
|
|
|
|
2020-12-06 20:47:40 +01:00
|
|
|
for line in containers:gmatch("[^\r\n]+") do
|
2020-08-15 03:35:54 +02:00
|
|
|
|
|
|
|
local container = parse_container(line)
|
|
|
|
|
|
|
|
|
2020-08-16 04:40:15 +02:00
|
|
|
local status_icon = wibox.widget {
|
|
|
|
image = status_to_icon_name[container['status']],
|
|
|
|
resize = false,
|
|
|
|
widget = wibox.widget.imagebox
|
|
|
|
}
|
2020-08-15 03:35:54 +02:00
|
|
|
|
2020-08-17 04:05:26 +02:00
|
|
|
|
|
|
|
local start_stop_button
|
2023-04-23 23:01:13 +02:00
|
|
|
if container.is_up() or container.is_exited() or container.is_created() then
|
2020-08-17 04:05:26 +02:00
|
|
|
start_stop_button = wibox.widget {
|
|
|
|
{
|
2020-11-23 23:12:30 +01:00
|
|
|
{
|
|
|
|
id = 'icon',
|
2023-04-23 23:01:13 +02:00
|
|
|
image = ICONS_DIR .. (container:is_exited() and 'play-btn.svg' or 'stop-btn.svg'),
|
2020-11-23 23:12:30 +01:00
|
|
|
opacity = 0.4,
|
|
|
|
resize = false,
|
|
|
|
widget = wibox.widget.imagebox
|
|
|
|
},
|
|
|
|
left = 2,
|
|
|
|
right = 2,
|
|
|
|
layout = wibox.container.margin
|
2020-08-17 04:05:26 +02:00
|
|
|
},
|
2020-11-23 23:12:30 +01:00
|
|
|
shape = gears.shape.circle,
|
|
|
|
bg = '#00000000',
|
|
|
|
widget = wibox.container.background
|
2020-08-17 04:05:26 +02:00
|
|
|
}
|
2020-11-23 23:12:30 +01:00
|
|
|
local old_cursor, old_wibox
|
2020-08-17 04:05:26 +02:00
|
|
|
start_stop_button:connect_signal("mouse::enter", function(c)
|
2020-11-23 23:12:30 +01:00
|
|
|
c:set_bg('#3B4252')
|
|
|
|
|
|
|
|
local wb = mouse.current_wibox
|
|
|
|
old_cursor, old_wibox = wb.cursor, wb
|
|
|
|
wb.cursor = "hand1"
|
2020-08-17 04:05:26 +02:00
|
|
|
c:get_children_by_id("icon")[1]:set_opacity(1)
|
|
|
|
c:get_children_by_id("icon")[1]:emit_signal('widget::redraw_needed') end)
|
|
|
|
start_stop_button:connect_signal("mouse::leave", function(c)
|
2020-11-23 23:12:30 +01:00
|
|
|
c:set_bg('#00000000')
|
|
|
|
if old_wibox then
|
|
|
|
old_wibox.cursor = old_cursor
|
|
|
|
old_wibox = nil
|
|
|
|
end
|
2020-08-17 04:05:26 +02:00
|
|
|
c:get_children_by_id("icon")[1]:set_opacity(0.4)
|
|
|
|
c:get_children_by_id("icon")[1]:emit_signal('widget::redraw_needed')
|
|
|
|
end)
|
|
|
|
|
|
|
|
start_stop_button:buttons(
|
2021-03-06 02:26:58 +01:00
|
|
|
gears.table.join( awful.button({}, 1, function()
|
2020-08-17 04:05:26 +02:00
|
|
|
local command
|
2023-04-23 23:01:13 +02:00
|
|
|
if container:is_exited() then command = 'start' else command = 'stop' end
|
2020-08-17 04:05:26 +02:00
|
|
|
|
|
|
|
status_icon:set_opacity(0.2)
|
|
|
|
status_icon:emit_signal('widget::redraw_needed')
|
|
|
|
|
2023-11-18 18:56:13 +01:00
|
|
|
spawn.easy_async(executable_name .. ' ' .. command .. ' ' .. container['name'],
|
|
|
|
function(_, stderr)
|
|
|
|
if stderr ~= '' then show_warning(stderr) end
|
|
|
|
spawn.easy_async(
|
|
|
|
string.format(LIST_CONTAINERS_CMD,executable_name, number_of_containers),
|
|
|
|
function(stdout, container_errors)
|
|
|
|
rebuild_widget(stdout, container_errors)
|
|
|
|
end
|
|
|
|
)
|
|
|
|
end
|
|
|
|
)
|
|
|
|
end) )
|
|
|
|
)
|
2020-08-17 04:05:26 +02:00
|
|
|
else
|
|
|
|
start_stop_button = nil
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
local pause_unpause_button
|
|
|
|
if container.is_up() then
|
|
|
|
pause_unpause_button = wibox.widget {
|
|
|
|
{
|
2020-11-23 23:12:30 +01:00
|
|
|
{
|
|
|
|
id = 'icon',
|
|
|
|
image = ICONS_DIR .. (container:is_paused() and 'unpause-btn.svg' or 'pause-btn.svg'),
|
|
|
|
opacity = 0.4,
|
|
|
|
resize = false,
|
|
|
|
widget = wibox.widget.imagebox
|
|
|
|
},
|
|
|
|
left = 2,
|
|
|
|
right = 2,
|
|
|
|
layout = wibox.container.margin
|
2020-08-17 04:05:26 +02:00
|
|
|
},
|
2020-11-23 23:12:30 +01:00
|
|
|
shape = gears.shape.circle,
|
|
|
|
bg = '#00000000',
|
|
|
|
widget = wibox.container.background
|
2020-08-17 04:05:26 +02:00
|
|
|
}
|
2020-11-23 23:12:30 +01:00
|
|
|
local old_cursor, old_wibox
|
2020-08-17 04:05:26 +02:00
|
|
|
pause_unpause_button:connect_signal("mouse::enter", function(c)
|
2020-11-23 23:12:30 +01:00
|
|
|
c:set_bg('#3B4252')
|
|
|
|
local wb = mouse.current_wibox
|
|
|
|
old_cursor, old_wibox = wb.cursor, wb
|
|
|
|
wb.cursor = "hand1"
|
2020-08-17 04:05:26 +02:00
|
|
|
c:get_children_by_id("icon")[1]:set_opacity(1)
|
|
|
|
c:get_children_by_id("icon")[1]:emit_signal('widget::redraw_needed')
|
|
|
|
end)
|
|
|
|
pause_unpause_button:connect_signal("mouse::leave", function(c)
|
2020-11-23 23:12:30 +01:00
|
|
|
c:set_bg('#00000000')
|
|
|
|
if old_wibox then
|
|
|
|
old_wibox.cursor = old_cursor
|
|
|
|
old_wibox = nil
|
|
|
|
end
|
2020-08-17 04:05:26 +02:00
|
|
|
c:get_children_by_id("icon")[1]:set_opacity(0.4)
|
|
|
|
c:get_children_by_id("icon")[1]:emit_signal('widget::redraw_needed')
|
|
|
|
end)
|
|
|
|
|
|
|
|
pause_unpause_button:buttons(
|
2021-03-06 02:26:58 +01:00
|
|
|
gears.table.join( awful.button({}, 1, function()
|
2020-08-17 04:05:26 +02:00
|
|
|
local command
|
|
|
|
if container:is_paused() then command = 'unpause' else command = 'pause' end
|
|
|
|
|
|
|
|
status_icon:set_opacity(0.2)
|
|
|
|
status_icon:emit_signal('widget::redraw_needed')
|
|
|
|
|
2023-11-18 18:56:13 +01:00
|
|
|
awful.spawn.easy_async(executable_name .. ' ' .. command .. ' ' .. container['name'],
|
|
|
|
function(_, stderr)
|
|
|
|
if stderr ~= '' then show_warning(stderr) end
|
|
|
|
spawn.easy_async(string.format(LIST_CONTAINERS_CMD,
|
|
|
|
executable_name, number_of_containers),
|
|
|
|
function(stdout, container_errors)
|
|
|
|
rebuild_widget(stdout, container_errors)
|
|
|
|
end)
|
2020-08-17 04:05:26 +02:00
|
|
|
end)
|
|
|
|
end) ) )
|
|
|
|
else
|
|
|
|
pause_unpause_button = nil
|
|
|
|
end
|
|
|
|
|
2020-11-23 23:12:30 +01:00
|
|
|
local delete_button
|
|
|
|
if not container.is_up() then
|
|
|
|
delete_button = wibox.widget {
|
|
|
|
{
|
|
|
|
{
|
|
|
|
id = 'icon',
|
|
|
|
image = ICONS_DIR .. 'trash-btn.svg',
|
|
|
|
opacity = 0.4,
|
|
|
|
resize = false,
|
|
|
|
widget = wibox.widget.imagebox
|
|
|
|
},
|
|
|
|
margins = 4,
|
|
|
|
layout = wibox.container.margin
|
|
|
|
},
|
|
|
|
shape = gears.shape.circle,
|
|
|
|
bg = '#00000000',
|
|
|
|
widget = wibox.container.background
|
|
|
|
}
|
|
|
|
delete_button:buttons(
|
2021-03-06 02:26:58 +01:00
|
|
|
gears.table.join( awful.button({}, 1, function()
|
2023-11-18 18:56:13 +01:00
|
|
|
awful.spawn.easy_async(executable_name .. ' rm ' .. container['name'],
|
|
|
|
function(_, rm_stderr)
|
|
|
|
if rm_stderr ~= '' then show_warning(rm_stderr) end
|
|
|
|
spawn.easy_async(string.format(LIST_CONTAINERS_CMD,
|
|
|
|
executable_name, number_of_containers),
|
|
|
|
function(lc_stdout, lc_stderr)
|
|
|
|
rebuild_widget(lc_stdout, lc_stderr)
|
|
|
|
end)
|
|
|
|
end)
|
2020-11-23 23:12:30 +01:00
|
|
|
end)))
|
|
|
|
|
|
|
|
local old_cursor, old_wibox
|
|
|
|
delete_button:connect_signal("mouse::enter", function(c)
|
|
|
|
c:set_bg('#3B4252')
|
|
|
|
local wb = mouse.current_wibox
|
|
|
|
old_cursor, old_wibox = wb.cursor, wb
|
|
|
|
wb.cursor = "hand1"
|
|
|
|
c:get_children_by_id("icon")[1]:set_opacity(1)
|
|
|
|
c:get_children_by_id("icon")[1]:emit_signal('widget::redraw_needed')
|
|
|
|
end)
|
|
|
|
delete_button:connect_signal("mouse::leave", function(c)
|
|
|
|
c:set_bg('#00000000')
|
|
|
|
if old_wibox then
|
|
|
|
old_wibox.cursor = old_cursor
|
|
|
|
old_wibox = nil
|
|
|
|
end
|
|
|
|
c:get_children_by_id("icon")[1]:set_opacity(0.4)
|
|
|
|
c:get_children_by_id("icon")[1]:emit_signal('widget::redraw_needed')
|
|
|
|
end)
|
|
|
|
else
|
|
|
|
delete_button = nil
|
|
|
|
end
|
|
|
|
|
2020-08-17 04:05:26 +02:00
|
|
|
|
2020-08-15 03:35:54 +02:00
|
|
|
local row = wibox.widget {
|
|
|
|
{
|
|
|
|
{
|
|
|
|
{
|
2020-08-17 23:00:55 +02:00
|
|
|
{
|
|
|
|
status_icon,
|
|
|
|
margins = 8,
|
|
|
|
layout = wibox.container.margin
|
|
|
|
},
|
2021-12-11 02:53:09 +01:00
|
|
|
valign = 'center',
|
2020-08-17 23:00:55 +02:00
|
|
|
layout = wibox.container.place
|
2020-08-15 03:35:54 +02:00
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
2020-08-17 04:05:26 +02:00
|
|
|
{
|
|
|
|
markup = '<b>' .. container['name'] .. '</b>',
|
|
|
|
widget = wibox.widget.textbox
|
|
|
|
},
|
2020-08-17 23:00:55 +02:00
|
|
|
{
|
|
|
|
text = container['size'],
|
|
|
|
widget = wibox.widget.textbox
|
|
|
|
},
|
2020-08-17 04:05:26 +02:00
|
|
|
{
|
|
|
|
text = container['how_long'],
|
|
|
|
widget = wibox.widget.textbox
|
|
|
|
},
|
2023-04-23 23:01:13 +02:00
|
|
|
-- 90 is the reserved width of the control buttons
|
|
|
|
forced_width = max_widget_width - 90,
|
2020-08-17 04:05:26 +02:00
|
|
|
layout = wibox.layout.fixed.vertical
|
2020-08-15 03:35:54 +02:00
|
|
|
},
|
2021-12-11 02:53:09 +01:00
|
|
|
valign = 'center',
|
2020-08-17 04:05:26 +02:00
|
|
|
layout = wibox.container.place
|
2020-08-15 03:35:54 +02:00
|
|
|
},
|
|
|
|
{
|
|
|
|
{
|
|
|
|
start_stop_button,
|
|
|
|
pause_unpause_button,
|
2020-11-23 23:12:30 +01:00
|
|
|
delete_button,
|
2020-08-15 03:35:54 +02:00
|
|
|
layout = wibox.layout.align.horizontal
|
|
|
|
},
|
2020-11-23 23:12:30 +01:00
|
|
|
forced_width = 90,
|
2020-08-15 03:35:54 +02:00
|
|
|
valign = 'center',
|
|
|
|
haligh = 'center',
|
|
|
|
layout = wibox.container.place,
|
|
|
|
},
|
|
|
|
spacing = 8,
|
|
|
|
layout = wibox.layout.align.horizontal
|
|
|
|
},
|
|
|
|
margins = 8,
|
|
|
|
layout = wibox.container.margin
|
|
|
|
},
|
|
|
|
bg = beautiful.bg_normal,
|
|
|
|
widget = wibox.container.background
|
|
|
|
}
|
|
|
|
|
2020-08-16 04:40:15 +02:00
|
|
|
|
2020-08-15 03:35:54 +02:00
|
|
|
row:connect_signal("mouse::enter", function(c) c:set_bg(beautiful.bg_focus) end)
|
|
|
|
row:connect_signal("mouse::leave", function(c) c:set_bg(beautiful.bg_normal) end)
|
|
|
|
|
|
|
|
table.insert(rows, row)
|
|
|
|
end
|
|
|
|
|
|
|
|
popup:setup(rows)
|
|
|
|
end
|
|
|
|
|
|
|
|
docker_widget:buttons(
|
2021-03-06 02:26:58 +01:00
|
|
|
gears.table.join(
|
2020-08-15 03:35:54 +02:00
|
|
|
awful.button({}, 1, function()
|
|
|
|
if popup.visible then
|
2021-03-06 19:20:35 +01:00
|
|
|
docker_widget:set_bg('#00000000')
|
2020-08-15 03:35:54 +02:00
|
|
|
popup.visible = not popup.visible
|
|
|
|
else
|
2021-03-06 19:20:35 +01:00
|
|
|
docker_widget:set_bg(beautiful.bg_focus)
|
2023-04-23 23:01:13 +02:00
|
|
|
spawn.easy_async(string.format(LIST_CONTAINERS_CMD, executable_name, number_of_containers),
|
2020-12-06 02:57:04 +01:00
|
|
|
function(stdout, stderr)
|
|
|
|
rebuild_widget(stdout, stderr)
|
|
|
|
popup:move_next_to(mouse.current_widget_geometry)
|
|
|
|
end)
|
2020-08-15 03:35:54 +02:00
|
|
|
end
|
|
|
|
end)
|
|
|
|
)
|
|
|
|
)
|
|
|
|
|
|
|
|
return docker_widget
|
|
|
|
end
|
|
|
|
|
|
|
|
return setmetatable(docker_widget, { __call = function(_, ...) return worker(...) end })
|