From 36767fbae898f08b0a5deb3c94eba9f8c8dd1729 Mon Sep 17 00:00:00 2001 From: Andrea Rossato Date: Sat, 15 Sep 2007 16:01:43 +0200 Subject: Added a date plugin darcs-hash:20070915140143-d6583-23480d0b6a3e05ec238f6cb5124aabce54306e6e.gz --- Plugins/Date.hs | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) create mode 100644 Plugins/Date.hs (limited to 'Plugins') diff --git a/Plugins/Date.hs b/Plugins/Date.hs new file mode 100644 index 0000000..4df6c8b --- /dev/null +++ b/Plugins/Date.hs @@ -0,0 +1,37 @@ +----------------------------------------------------------------------------- +-- | +-- Module : Plugins.Date +-- Copyright : (c) Andrea Rossato +-- License : BSD-style (see LICENSE) +-- +-- Maintainer : Andrea Rossato +-- Stability : unstable +-- Portability : unportable +-- +-- A date plugin for Xmobar +-- +-- Usage example: in template put +-- Run Date "%a %b %_d %Y %H:%M:%S" "mydate" 10 +-- +----------------------------------------------------------------------------- + +module Plugins.Date where + +import Plugins +import System.Locale +import System.Time + + +data Date = Date String String Int + deriving (Read) + +instance Exec Date where + run (Date f _ _) = date f + rate (Date _ _ r) = r + alias (Date _ a _) = a + +date :: String -> IO String +date format = do + t <- toCalendarTime =<< getClockTime + return $ formatCalendarTime defaultTimeLocale format t + -- cgit v1.2.3