blob: 741c38180dc8789214e589178e4e1126104c6858 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
#!/bin/bash
# Set up command recording wrapper
[ -z "$WRAPDIR" ] && WRAPDIR="$PWD"/record-commands && RM=$(which rm)
[ -z "$WRAPLOG" ] && export WRAPLOG="$PWD"/log.txt
if [ $# -eq 0 ]
then
echo "Usage: WRAPDIR=dir WRAPLOG=log.txt record-commands COMMAND..."
echo 'Then examine log.txt. "record-commands echo" to just setup $WRAPDIR'
exit 1
fi
if [ ! -x "$WRAPDIR/logwrapper" ]
then
make logwrapper
mkdir -p "$WRAPDIR" && mv logwrapper "$WRAPDIR" || exit 1
echo "$PATH" | tr : '\n' | while read DIR
do
ls "$DIR/" | while read FILE
do
ln -s logwrapper "$WRAPDIR/$FILE" 2>/dev/null
done
done
fi
# Delete old log (if any)
rm -f "$WRAPLOG"
X=0
if [ ! -z "$1" ]
then
PATH="$WRAPDIR:$PATH" "$@"
fi
X=$?
[ ! -z "$RM" ] && "$RM" -rf "$WRAPDIR"
exit $X
|
