src/wmii-lua.in

   1 #!/bin/sh
   2 #
   3 # Copyright (c) 2007, Bart Trojanowski <bart@jukie.net>
   4 #
   5 # This script launches the wmii window manager with the wmiirc.lua script.
   6
   7 # we will look for wmiirc in these directories
   8 POSSIBLE_WMIIRC="
   9 %HOME_WMII%/wmiirc.lua
  10 %HOME_WMII%/wmiirc
  11 %RC_DIR%/wmiirc.lua
  12 %RC_DIR%/wmiirc
  13 "
  14
  15 # try to find the best wmiirc written in lua
  16 WMIIRC=
  17 for wmiirc in ${POSSIBLE_WMIIRC} ; do
  18         if ( test -r "${wmiirc}" ) && ( head -n1 "${wmiirc}" | grep -q lua ) ; then
  19                 exec wmii -r "${wmiirc}"
  20         fi
  21 done
  22
  23 # default to the base one
  24 exec wmii