diff options
author | jao <jao@gnu.org> | 2018-11-25 15:26:44 +0000 |
---|---|---|
committer | jao <jao@gnu.org> | 2018-11-25 15:26:44 +0000 |
commit | f86bbb8ca5d3ba0d18e333cbe6cb57cc17e3ae07 (patch) | |
tree | ba34733d783dfcb65234ed835deac13a9a9c100e /samples/Plugins | |
parent | b12fe3ebdaf3a4a539b85f742a582925d7e811f1 (diff) | |
download | xmobar-f86bbb8ca5d3ba0d18e333cbe6cb57cc17e3ae07.tar.gz xmobar-f86bbb8ca5d3ba0d18e333cbe6cb57cc17e3ae07.tar.bz2 |
doc, examples
Diffstat (limited to 'samples/Plugins')
-rw-r--r-- | samples/Plugins/HelloWorld.hs | 24 | ||||
-rw-r--r-- | samples/Plugins/helloworld.config | 12 |
2 files changed, 0 insertions, 36 deletions
diff --git a/samples/Plugins/HelloWorld.hs b/samples/Plugins/HelloWorld.hs deleted file mode 100644 index d2267ae..0000000 --- a/samples/Plugins/HelloWorld.hs +++ /dev/null @@ -1,24 +0,0 @@ ------------------------------------------------------------------------------ --- | --- Module : Plugins.HelloWorld --- Copyright : (c) Andrea Rossato --- License : BSD-style (see LICENSE) --- --- Maintainer : Jose A. Ortega Ruiz <jao@gnu.org> --- Stability : unstable --- Portability : unportable --- --- A plugin example for Xmobar, a text based status bar --- ------------------------------------------------------------------------------ - -module Xmobar.Plugins.HelloWorld where - -import Xmobar.Plugins - -data HelloWorld = HelloWorld - deriving (Read, Show) - -instance Exec HelloWorld where - alias HelloWorld = "helloWorld" - run HelloWorld = return "<fc=red>Hello World!!</fc>" diff --git a/samples/Plugins/helloworld.config b/samples/Plugins/helloworld.config deleted file mode 100644 index 3818bfa..0000000 --- a/samples/Plugins/helloworld.config +++ /dev/null @@ -1,12 +0,0 @@ -Config { font = "-misc-fixed-*-*-*-*-10-*-*-*-*-*-*-*" - , bgColor = "#000000" - , fgColor = "#BFBFBF" - , position = TopW C 90 - , commands = [ Run Cpu [] 10 - , Run Weather "LIPB" [] 36000 - , Run HelloWorld - ] - , sepChar = "%" - , alignSep = "}{" - , template = "%cpu% } %helloWorld% { %LIPB% | <fc=yellow>%date%</fc>" - } |