diff options
-rwxr-xr-x | bin/dvtm-pager | 11 | ||||
-rwxr-xr-x | bin/dvtm-status | 16 |
2 files changed, 0 insertions, 27 deletions
diff --git a/bin/dvtm-pager b/bin/dvtm-pager deleted file mode 100755 index 975582b..0000000 --- a/bin/dvtm-pager +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/sh - -if [ ! -z "$DVTM_PAGER" ]; then - PAGER="$DVTM_PAGER" -elif [ ! -z "$PAGER" ]; then - PAGER="$PAGER" -else - PAGER="less -R" -fi - -exec $PAGER "$@" diff --git a/bin/dvtm-status b/bin/dvtm-status deleted file mode 100755 index f841e3f..0000000 --- a/bin/dvtm-status +++ /dev/null @@ -1,16 +0,0 @@ -#!/bin/sh - -FIFO="/tmp/dvtm-status.$$" - -[ -p "$FIFO" ] || mkfifo -m 600 "$FIFO" || exit 1 - -while true; do - date +%H:%M - sleep 60 -done > "$FIFO" & - -STATUS_PID=$! -dvtm -s "$FIFO" "$@" 2> /dev/null -kill $STATUS_PID -wait $STATUS_PID 2> /dev/null -rm -f "$FIFO" |