blob: d2b779faf60ba08a5d4a120ec46cd944d03b52dd (
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
41
42
|
#!/bin/bash
# Set up command recording wrapper
[ -z "$WRAPDIR" ] && WRAPDIR="$PWD"/record-commands && RM=$(which rm)
[ -z "$LOGPATH" ] && export LOGPATH="$PWD"/log.txt
if [ ${#BASH_SOURCE[@]} -lt 2 ] && [ $# -eq 0 ]
then
echo "usage: WRAPDIR=dir LOGPATH=log.txt record-commands COMMAND..."
echo 'Then examine log.txt. "record-commands echo" to just setup $WRAPDIR'
exit 1
fi
if [ ! -x "$WRAPDIR/logpath" ]
then
mkdir -p "$WRAPDIR" && PREFIX="$WRAPDIR/" scripts/single.sh logpath || exit 1
echo "$PATH" | tr : '\n' | while read DIR
do
find "$DIR/" -type f,l -maxdepth 1 -executable -exec basename {} \; | \
while read FILE
do
ln -s logpath "$WRAPDIR/$FILE" 2>/dev/null
done
done
fi
# Delete old log (if any)
rm -f "$LOGPATH"
# When sourced, set up wrapper for current context.
export PATH="$WRAPDIR:$PATH"
if [ ${#BASH_SOURCE[@]} -lt 2 ]
then
"$@"
X=$?
[ ! -z "$RM" ] && "$RM" -rf "$WRAPDIR"
exit $X
fi
|
