From 3d4a42a35204fc8860d9a2a7daf6d78149fad780 Mon Sep 17 00:00:00 2001 From: Luke Shumaker Date: Wed, 14 Aug 2013 16:14:16 -0400 Subject: add .config/wmii-hg for bleeding wmii --- .config/wmii-hg/fixes.sh | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 .config/wmii-hg/fixes.sh (limited to '.config/wmii-hg/fixes.sh') diff --git a/.config/wmii-hg/fixes.sh b/.config/wmii-hg/fixes.sh new file mode 100644 index 0000000..aa09157 --- /dev/null +++ b/.config/wmii-hg/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 &>/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 "$@"; } -- cgit v1.2.3-2-g168b