diff options
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/xmonad-dynamic-workspaces.hs | 127 |
1 files changed, 127 insertions, 0 deletions
diff --git a/scripts/xmonad-dynamic-workspaces.hs b/scripts/xmonad-dynamic-workspaces.hs new file mode 100644 index 0000000..8586c26 --- /dev/null +++ b/scripts/xmonad-dynamic-workspaces.hs @@ -0,0 +1,127 @@ +{-# OPTIONS -fglasgow-exts #-} +----------------------------------------------------------------------------- +-- | +-- Module : xmonad-status.hs +-- Copyright : (c) Don Stewart 2007 +-- License : BSD3-style +-- Maintainer : dons@cse.unsw.edu.au +-- +-- An external statusbar-client for xmonad. +-- +-- Prints the workspaces in a simple form, read from the logging output +-- of xmonad. +-- +-- An example use: +-- +-- +-- #!/bin/sh +-- # +-- # launch xmonad, with a couple of dzens to run the status bar +-- # send xmonad state over a named pipe +-- # +-- FG='#a8a3f7' +-- BG='#3f3c6d' +-- FONT="-xos4-terminus-medium-r-normal--16-160-72-72-c-80-iso8859-1" +-- +-- PATH=/home/dons/bin:$PATH +-- +-- # clean up and old status bar pipe +-- rm -f ~/.xmonad.pipe +-- +-- # create a new one +-- /sbin/mkfifo -m 600 ~/.xmonad.pipe +-- +-- xmonad-status < ~/.xmonad.pipe | dzen2 -ta l -fg $FG -bg $BG -fn $FONT & +-- exec xmonad > ~/.xmonad.pipe +-- +-- Creates a workspace table on the left side of the screen. +-- +-- A version that perfectly emulates wmii or dwm could be distributed. +-- +----------------------------------------------------------------------------- + +import Data.List +import StackSet +import XMonad +import System.IO +import Text.PrettyPrint +import Graphics.X11.Types (Window) + +-- +-- parse the StackSet output, and print it in the form: +-- +-- *[1] 2 *3 *4 5 6 7 8 +-- +-- It's an example of how to write a Haskell script to hack +-- the structure defined in StackSet.hs +-- + +main = forever $ getLine >>= readIO >>= draw + where + forever a = a >> forever a + +-- +-- All the magic is in the 'ppr' instances, below. +-- +draw :: WindowSet -> IO () +draw s = do putStrLn . render . ppr $ s + hFlush stdout + +-- --------------------------------------------------------------------- +-- +-- A simple recursive descent pretty printer for the StackSet type. +-- +class Pretty a where + ppr :: a -> Doc + +-- +-- And instances for the StackSet layers +-- +instance Pretty WindowSet where + ppr (StackSet { current = cws -- the different workspaces + , visible = vws + , hidden = hws }) = ppr (sortBy tags workspaces) + where + -- tag each workspace with its flavour + workspaces = C (workspace cws) : map (V . workspace) vws ++ map H hws + + -- sort them by their tags + tags a b = (tag.unWrap) a `compare` (tag.unWrap) b + +-- +-- How to print each workspace kind +-- +instance Pretty TaggedW where + ppr (C w) = brackets (int (1 + fromIntegral (tag w))) -- [1] + ppr (V w) = parens (ppr w) -- <2> + ppr (H w) = char ' ' <> ppr w <> char ' ' -- 3 + +-- tags are printed as integers (or map them to strings) +instance Pretty W where +-- Just print int tags: + ppr (Workspace i s) = + case s of + Empty -> empty + _ -> int (1 + fromIntegral i) + +instance Pretty a => Pretty [a] where + ppr [] = empty + ppr (x:xs) = ppr x <> ppr xs + + +-- --------------------------------------------------------------------- +-- Some type information for the pretty printer + +-- We have a fixed workspace type +type W = Workspace WorkspaceId Window + +-- Introduce a newtype to distinguish different workspace flavours +data TaggedW = C W -- current + | V W -- visible + | H W -- hidden + +-- And the ability to unwrap tagged workspaces +unWrap :: TaggedW -> W +unWrap (C w) = w +unWrap (V w) = w +unWrap (H w) = w |