awesome-wm-widgets/run-shell/run-shell.lua

114 lines
3.2 KiB
Lua
Raw Normal View History

2018-11-05 23:04:47 +01:00
-------------------------------------------------
2018-11-09 17:29:35 +01:00
-- Run Shell for Awesome Window Manager
2018-11-05 23:04:47 +01:00
-- More details could be found here:
2018-11-09 17:29:35 +01:00
-- https://github.com/streetturtle/awesome-wm-widgets/tree/master/run-shell
2018-11-05 23:04:47 +01:00
-- @author Pavel Makhov
2019-02-05 02:38:56 +01:00
-- @copyright 2019 Pavel Makhov
2018-11-05 23:04:47 +01:00
-------------------------------------------------
2018-12-20 04:39:53 +01:00
local capi = {
screen = screen,
client = client,
}
2018-11-05 23:04:47 +01:00
local awful = require("awful")
local gfs = require("gears.filesystem")
local wibox = require("wibox")
local gears = require("gears")
local completion = require("awful.completion")
2018-11-06 22:35:29 +01:00
local run_shell = awful.widget.prompt()
2018-11-05 23:04:47 +01:00
2018-12-20 04:39:53 +01:00
local widget = {}
function widget.new()
local widget_instance = {
2019-03-09 02:55:16 +01:00
_cached_wiboxes = {}
2018-12-20 04:39:53 +01:00
}
function widget_instance:_create_wibox()
local w = wibox {
visible = false,
ontop = true,
height = 1060,
2019-03-09 02:55:16 +01:00
width = 1920,
2019-03-09 20:50:47 +01:00
opacity = 0.6,
bg = '#000002'
2018-12-20 04:39:53 +01:00
}
w:setup {
2018-11-06 22:35:29 +01:00
{
{
2018-12-20 04:39:53 +01:00
{
{
2018-12-24 16:05:15 +01:00
markup = '<span font="awesomewm-font 14" color="#ffffff">a</span>',
2018-12-20 04:39:53 +01:00
widget = wibox.widget.textbox,
},
id = 'icon',
left = 10,
layout = wibox.container.margin
},
{
run_shell,
left = 10,
layout = wibox.container.margin,
},
id = 'left',
layout = wibox.layout.fixed.horizontal
2018-11-06 22:35:29 +01:00
},
2018-12-20 04:39:53 +01:00
widget = wibox.container.background,
bg = '#333333',
shape = function(cr, width, height)
gears.shape.rounded_rect(cr, width, height, 3)
end,
shape_border_color = '#74aeab',
shape_border_width = 1,
forced_width = 200,
forced_height = 50
2018-11-06 22:35:29 +01:00
},
2018-12-20 04:39:53 +01:00
layout = wibox.container.place
}
2018-11-05 23:04:47 +01:00
2018-12-20 04:39:53 +01:00
return w
end
2019-03-09 02:55:16 +01:00
function widget_instance:launch()
local s = mouse.screen
2018-12-20 04:39:53 +01:00
if not self._cached_wiboxes[s] then
self._cached_wiboxes[s] = {}
end
if not self._cached_wiboxes[s][1] then
self._cached_wiboxes[s][1] = self:_create_wibox()
end
local w = self._cached_wiboxes[s][1]
2019-03-09 02:55:16 +01:00
w.visible = true
awful.placement.top(w, { margins = { top = 20 }, parent = awful.screen.focused() })
awful.prompt.run {
prompt = 'Run: ',
bg_cursor = '#74aeab',
textbox = run_shell.widget,
completion_callback = completion.shell,
exe_callback = function(...)
run_shell:spawn_and_handle_error(...)
2018-12-20 04:39:53 +01:00
end,
2019-03-09 02:55:16 +01:00
history_path = gfs.get_cache_dir() .. "/history",
done_callback = function() w.visible = false end
}
2018-12-20 04:39:53 +01:00
end
return widget_instance
2018-12-24 16:05:15 +01:00
end
2018-12-20 04:39:53 +01:00
local function get_default_widget()
if not widget.default_widget then
widget.default_widget = widget.new()
end
return widget.default_widget
2018-11-05 23:04:47 +01:00
end
2018-12-20 04:39:53 +01:00
function widget.launch(...)
return get_default_widget():launch(...)
end
return widget