diff options
| author | Luke Shumaker <lukeshu@sbcglobal.net> | 2015-01-29 00:51:50 -0500 |
|---|---|---|
| committer | Luke Shumaker <lukeshu@sbcglobal.net> | 2015-01-29 00:51:50 -0500 |
| commit | dd4773d812f379a3b562e1f873418edc2036d98c (patch) | |
| tree | 2ea25d67b2720ee9975ba4ed893d5824aa90ae8d /.config/wmii-hg | |
| parent | 8396ed0fba3dc50d7f802dd1c6db282eb6fc73fa (diff) | |
wmii: remove fixes.sh
Diffstat (limited to '.config/wmii-hg')
| -rw-r--r-- | .config/wmii-hg/fixes.sh | 24 | ||||
| -rw-r--r-- | .config/wmii-hg/util.sh | 3 |
2 files changed, 0 insertions, 27 deletions
diff --git a/.config/wmii-hg/fixes.sh b/.config/wmii-hg/fixes.sh deleted file mode 100644 index 5858859..0000000 --- a/.config/wmii-hg/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() { - local 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 "$@"; } diff --git a/.config/wmii-hg/util.sh b/.config/wmii-hg/util.sh index 323d8a6..b28a3b6 100644 --- a/.config/wmii-hg/util.sh +++ b/.config/wmii-hg/util.sh @@ -1,8 +1,5 @@ #!/bin/bash -# I moved "fixes" into a separate file because it isn't so much configuration... -. fixes.sh - ################################################################################ # Added shell features # ################################################################################ |