wok diff fbpanel/stuff/default @ rev 23917
created recipes for lua-ffi and lua-posix
author | Hans-G?nter Theisgen |
---|---|
date | Wed Aug 19 09:11:10 2020 +0100 (2020-08-19) |
parents | |
children |
line diff
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/fbpanel/stuff/default Wed Aug 19 09:11:10 2020 +0100 1.3 @@ -0,0 +1,398 @@ 1.4 +######################################## 1.5 +## fbpanel configuration file ## 1.6 +######################################## 1.7 + 1.8 + 1.9 +# DESCRIPTION 1.10 +# Configuration file consists of mandatory 'Global' block that MUST come first, 1.11 +# and optionally one or more 'Plugin' block. 1.12 +# Lines having '#' as first non-blank char or blank lines are ignored 1.13 +# Keywords are not case-sensitive 1.14 +# Values are case-sensitive 1.15 +# Value of variable is a text from first non-blank char after '=' 1.16 +# till the last non-blank char. '#' is NOT treated as coment in this context 1.17 + 1.18 +# 'Global' block describes global parameters like position, size and 1.19 +# some NETWM settings 1.20 + 1.21 +# Global { 1.22 + 1.23 +# # screen edge 1.24 +# # legal values are: left, right, top, bottom 1.25 +# edge = bottom 1.26 + 1.27 +# # allignment of a panel 1.28 +# # legal values are: left, right, center 1.29 +# allign = left 1.30 + 1.31 +# # length of margin (in pixels) 1.32 +# # legal values are numbers 1.33 +# margin = 0 1.34 + 1.35 +# # widthtype specifies how panel width is calculated 1.36 +# # legal values are: request, pixel, percent 1.37 +# # request - follow widgets' size requests. can shrink or grow dynamically 1.38 +# # pixel - occupy fixed number of pixels, then 'width' variable holds a number 1.39 +# # percent - be 'width' precent of an edge. 1.40 +# widthType = percent 1.41 + 1.42 +# # numerical value of width (not applicable for 'request' widthtype) 1.43 +# # legal values are numbers 1.44 +# width = 80 1.45 + 1.46 +# # heighttype specifies how panel height is calculated 1.47 +# # legal values are: pixel 1.48 +# # pixel - ocupy fixed number of pixels, then 'height' variable holds a number 1.49 +# heightType = pixel 1.50 + 1.51 +# # numerical value of height (if applicable) 1.52 +# # legal values are numbers 1.53 +# height = 28 1.54 + 1.55 + 1.56 +# # Identify panel window type as dock 1.57 +# # legal values are boolean 1.58 +# setDockType = true 1.59 + 1.60 +# # Reserve panel's space so that it will not be covered by maximazied windows 1.61 +# # legal values are boolean 1.62 +# # setPartialStrut = true 1.63 + 1.64 + 1.65 +# # Transparency stuff: 1.66 +# # tintColor is a color to composite on root background given as #RRGGBB or as name 1.67 +# # alpha is transparency of the tint color. 1.68 +# # transparent = true 1.69 +# # tintColor = #FFFFFF 1.70 +# or 1.71 +# # tintColor = white 1.72 +# # alpha = 127 1.73 + 1.74 +# # Autohide 1.75 +# # autoHide = false 1.76 +# # heightWhenHidden = 2 1.77 + 1.78 +# } 1.79 + 1.80 + 1.81 + 1.82 +# 'Plugin' block specifies a plugin to load. It has same syntax for both 1.83 +# builtin and external plugins. 1.84 + 1.85 +# First parameter is 'type'. It's mandatory and must come first 1.86 +# Legal values are plugin names. Names of builtin plugins are: 1.87 +# separator - visual separator 1.88 +# wincmd - 'show desktop' button 1.89 +# taskbar - lists all opened windows (tasks) 1.90 +# launchbar - bar with launch button 1.91 +# image - just shows an image 1.92 +# dclock - digital clock 1.93 +# space - just seize space 1.94 +# pager - thumbnailed view of the desktop 1.95 +# tray - tray for XEMBED icons (aka docklets) 1.96 + 1.97 +# expand - specifies if plugin can accomodate extra space or not [optional] 1.98 +# padding - extra padding around plugin [optional] 1.99 +# config {} - block of plugin's private configuration. 1.100 +# This part is plugin dependant 1.101 + 1.102 + 1.103 +# 1.104 +# Plugin { 1.105 +# type = wincmd 1.106 +# config { 1.107 +# image = ~/.fbpanel/images/Desktop2.png 1.108 +# tooltip = Left click to iconify all windows. Middle click to shade them. 1.109 +# } 1.110 +# } 1.111 + 1.112 + 1.113 +Global { 1.114 + edge = bottom 1.115 + allign = center 1.116 + margin = 0 1.117 + widthtype = percent 1.118 + width = 86 1.119 + height = 24 1.120 + transparent = true 1.121 + tintcolor = #ffffff 1.122 + alpha = 28 1.123 + setdocktype = true 1.124 + setpartialstrut = true 1.125 + autohide = false 1.126 + heightWhenHidden = 2 1.127 + roundcorners = true 1.128 + roundcornersradius = 7 1.129 + layer = none 1.130 + MaxElemHeight = 32 1.131 +} 1.132 + 1.133 + 1.134 + 1.135 +Plugin { 1.136 + type = space 1.137 + config { 1.138 + size = 2 1.139 + } 1.140 +} 1.141 + 1.142 + 1.143 +Plugin { 1.144 + type = menu 1.145 + config { 1.146 + IconSize = 22 1.147 + #icon = start-here 1.148 + icon = logo 1.149 + systemmenu { 1.150 + } 1.151 + separator { 1.152 + } 1.153 + menu { 1.154 + name = Computer 1.155 + icon = computer 1.156 + 1.157 + item { 1.158 + name = Terminal 1.159 + icon = terminal 1.160 + action = x-terminal 1.161 + } 1.162 + item { 1.163 + name = Lock Display 1.164 + icon = gnome-lockscreen 1.165 + action = slock 1.166 + } 1.167 + separator { 1.168 + } 1.169 + item { 1.170 + name = Reboot 1.171 + icon = gnome-session-reboot 1.172 + action = sudo reboot 1.173 + } 1.174 + item { 1.175 + name = Shutdown 1.176 + icon = gnome-session-halt 1.177 + action = sudo shutdown -h now 1.178 + } 1.179 + item { 1.180 + name = logout 1.181 + icon = gnome-session-logout 1.182 + action = /usr/libexec/fbpanel/xlogout 1.183 + } 1.184 + } 1.185 + } 1.186 +} 1.187 + 1.188 + 1.189 + 1.190 +Plugin { 1.191 + type = space 1.192 + config { 1.193 + size = 15 1.194 + } 1.195 +} 1.196 + 1.197 + 1.198 +Plugin { 1.199 + type = launchbar 1.200 + config { 1.201 + button { 1.202 + icon = file-manager 1.203 + tooltip = File Manager 1.204 + action = x-file-manager 1.205 + } 1.206 + button { 1.207 + icon = terminal 1.208 + tooltip = Terminal 1.209 + action = x-terminal 1.210 + } 1.211 + button { 1.212 + icon = web-browser 1.213 + tooltip = Web Browser 1.214 + action = x-www-browser 1.215 + } 1.216 + } 1.217 +} 1.218 + 1.219 +Plugin { 1.220 + type = space 1.221 + config { 1.222 + size = 15 1.223 + } 1.224 +} 1.225 + 1.226 + 1.227 +Plugin { 1.228 + type = wincmd 1.229 + config { 1.230 + icon = gnome-fs-desktop 1.231 + tooltip = Left click to iconify all windows. Middle click to shade them. 1.232 + } 1.233 +} 1.234 + 1.235 + 1.236 +Plugin { 1.237 + type = space 1.238 + config { 1.239 + size = 15 1.240 + } 1.241 +} 1.242 + 1.243 + 1.244 + 1.245 +Plugin { 1.246 + type = taskbar 1.247 + expand = true 1.248 + config { 1.249 + ShowIconified = true 1.250 + ShowMapped = true 1.251 + ShowAllDesks = false 1.252 + tooltips = true 1.253 + IconsOnly = false 1.254 + MaxTaskWidth = 150 1.255 + } 1.256 +} 1.257 + 1.258 + 1.259 +Plugin { 1.260 + type = space 1.261 + config { 1.262 + size = 15 1.263 + } 1.264 +} 1.265 + 1.266 +Plugin { 1.267 + type = pager 1.268 + config { 1.269 + showwallpaper = true 1.270 + } 1.271 +} 1.272 + 1.273 +Plugin { 1.274 + type = space 1.275 + config { 1.276 + size = 10 1.277 + } 1.278 +} 1.279 + 1.280 +Plugin { 1.281 + type = mem 1.282 + expand = false 1.283 + padding = 2 1.284 + config { 1.285 + ShowSwap = false 1.286 + } 1.287 +} 1.288 + 1.289 +Plugin { 1.290 + type = cpu 1.291 + config { 1.292 + Color = green 1.293 + } 1.294 +} 1.295 + 1.296 +Plugin { 1.297 + type = net 1.298 + expand = false 1.299 + padding = 0 1.300 + config { 1.301 + #interface = ppp0 1.302 + interface = eth0 1.303 + # set connection limits to make traffic graph more accurate 1.304 + TxLimit = 20 1.305 + RxLimit = 190 1.306 + TxColor = violet 1.307 + RxColor = blue 1.308 + } 1.309 +} 1.310 + 1.311 + 1.312 +Plugin { 1.313 + type = space 1.314 + config { 1.315 + size = 10 1.316 + } 1.317 +} 1.318 + 1.319 +plugin { 1.320 + type = volume 1.321 +} 1.322 + 1.323 +#plugin { 1.324 +# type = battery 1.325 +#} 1.326 + 1.327 +Plugin { 1.328 + type = tray 1.329 +} 1.330 + 1.331 +Plugin { 1.332 + type = space 1.333 + config { 1.334 + size = 10 1.335 + } 1.336 +} 1.337 + 1.338 +# Digital Clock 1.339 +Plugin { 1.340 + type = dclock 1.341 + config { 1.342 + ShowSeconds = false 1.343 + HoursView = 24 1.344 + TooltipFmt = %A %x 1.345 + #Action = xmessage Please define some command & 1.346 + } 1.347 +} 1.348 + 1.349 +# Text Clock 1.350 +# ClockFmt: (string) Clock format string. May contain strftime conversion 1.351 +# specifications and Pango markup information. 1.352 +# TooltipFmt: (string) Tooltip format string. 1.353 +# Action: (string) Shell command to execute when clock is clicked. 1.354 +# ShowCalendar: (boolean) Show a GTK calendar widget when the clock is 1.355 +# clicked. Only valid if Action is unset. 1.356 +# ShowTooltip: (boolean) Show tooltip for clock. 1.357 +#Plugin { 1.358 +# type = tclock 1.359 +# config { 1.360 +# ClockFmt = <b>%I:%M</b> 1.361 +# # 2 line view, time in bold above and date below 1.362 +# # ClockFmt = <span font="Sans 8"><b>%-l:%M</b> %P
%a %B %-e</span> 1.363 +# TooltipFmt = %A %x 1.364 +# #Action = xmessage Please define some command & 1.365 +# ShowCalendar = false 1.366 +# ShowTooltip = true 1.367 +# } 1.368 +#} 1.369 + 1.370 +# 'icons' plugin lets you customize window icons. 1.371 +# these changes apply to entire desktop 1.372 +Plugin { 1.373 + type = icons 1.374 + config { 1.375 + DefaultIcon = /usr/share/fbpanel/images/default.xpm 1.376 + application { 1.377 + icon = gnome-terminal 1.378 + ClassName = XTerm 1.379 + } 1.380 + application { 1.381 + icon = gnome-terminal 1.382 + ClassName = mlterm 1.383 + } 1.384 + application { 1.385 + icon = gnome-terminal 1.386 + ClassName = URxvt 1.387 + } 1.388 + application { 1.389 + icon = gnome-emacs 1.390 + ClassName = Emacs 1.391 + } 1.392 + application { 1.393 + icon = mozilla-firefox 1.394 + ClassName = Firefox-bin 1.395 + } 1.396 + application { 1.397 + icon = mozilla-firefox 1.398 + ClassName = Firefox 1.399 + } 1.400 + } 1.401 +}