diff options
author | Luke Shumaker <LukeShu@sbcglobal.net> | 2012-10-15 17:36:00 -0400 |
---|---|---|
committer | Luke Shumaker <LukeShu@sbcglobal.net> | 2012-10-15 20:22:27 -0400 |
commit | 4414160a4cce0080f3f2b33f9e7a7583c77c7062 (patch) | |
tree | d55a4cdefe5727b57e73ed29c42c00be57b0eb2a /.wmii/fixes.sh | |
parent | fdb7a68bec32153e696a440d2e7795c8e4b58e08 (diff) |
wmii: refactor
Diffstat (limited to '.wmii/fixes.sh')
-rw-r--r-- | .wmii/fixes.sh | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/.wmii/fixes.sh b/.wmii/fixes.sh new file mode 100644 index 0000000..6e1f38b --- /dev/null +++ b/.wmii/fixes.sh @@ -0,0 +1,24 @@ +#!/bin/bash +# Fix various deficiencies in either the shell or the filesystem + +## +# Usage: ls DIRECTORY +# Linux's 9p kernel module sometimes omits entries in directory listings +## +unalias ls 2>/dev/null +ls() { + real_ls="`which ls` -1F" + [ $# = 0 ] && set -- "`pwd`" + f="${1/#${WMII_DIR}/}" + if [ "$f" = "$1" ]; then + $real_ls "$f" + else + wmiir ls "$f" + fi +} + +## +# Usage: setsid cmd [arguments...] +# I like wmiir's setsid better than linux-utils' +## +setsid() { wmiir setsid "$@"; } |