diff options
| author | jao <jao@gnu.org> | 2018-11-21 23:51:41 +0000 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2018-11-21 23:51:41 +0000 |
| commit | 50134d5b5c4baabdfb35c0aeb8bf53d29f009c4d (patch) | |
| tree | a710ee9a8e9ea9e46951d371af29081e1c72f502 /src/lib/Xmobar/Plugins.hs | |
| parent | 7674145b878fd315999558075edcfc5e09bdd91c (diff) | |
| download | xmobar-50134d5b5c4baabdfb35c0aeb8bf53d29f009c4d.tar.gz xmobar-50134d5b5c4baabdfb35c0aeb8bf53d29f009c4d.tar.bz2 | |
All sources moved inside src
Diffstat (limited to 'src/lib/Xmobar/Plugins.hs')
| -rw-r--r-- | src/lib/Xmobar/Plugins.hs | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/src/lib/Xmobar/Plugins.hs b/src/lib/Xmobar/Plugins.hs new file mode 100644 index 0000000..75ee306 --- /dev/null +++ b/src/lib/Xmobar/Plugins.hs @@ -0,0 +1,25 @@ +----------------------------------------------------------------------------- +-- | +-- Module : Xmobar.Plugins +-- Copyright : (c) Andrea Rossato +-- License : BSD-style (see LICENSE) +-- +-- Maintainer : Jose A. Ortega Ruiz <jao@gnu.org> +-- Stability : unstable +-- Portability : unportable +-- +-- This module exports the API for plugins. +-- +-- Have a look at Plugins\/HelloWorld.hs +-- +----------------------------------------------------------------------------- + +module Xmobar.Plugins + ( Exec (..) + , tenthSeconds + , readFileSafe + , hGetLineSafe + ) where + +import Xmobar.Commands +import Xmobar.XUtil |