mirror of
https://github.com/powerline/powerline.git
synced 2025-08-16 07:18:37 +02:00
12 lines
248 B
Bash
Executable File
12 lines
248 B
Bash
Executable File
#!/bin/sh
|
|
|
|
RES_DIR="$TEST_ROOT/results"
|
|
mkdir -p "$RES_DIR"
|
|
RES_FILE="$RES_DIR/$$"
|
|
while test -e "$RES_FILE.log" ; do
|
|
RES_FILE="$RES_FILE.${RANDOM:-`date +%N | sed s/^0*//`}"
|
|
done
|
|
|
|
echo $(basename $0) "$@" > "$RES_FILE.args"
|
|
cat > "$RES_FILE.log"
|