diff options
Diffstat (limited to '.config/wmii/fixes.sh')
-rw-r--r-- | .config/wmii/fixes.sh | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/.config/wmii/fixes.sh b/.config/wmii/fixes.sh deleted file mode 100644 index aa09157..0000000 --- a/.config/wmii/fixes.sh +++ /dev/null @@ -1,24 +0,0 @@ -#!/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 &>/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 "$@"; } |