Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- # script - record everything
- # record section
- if [ ! "$SCRIPT_FILE" ]; then
- mkdir -p ~/Documents/script-output
- SCRIPT_FILE="${HOME}/Documents/script-output/`date +'%Y%m%d-%H%M%S'`-script-audit-file"
- export SCRIPT_FILE
- export CURRENT_SCRIPT_LOG=`basename $SCRIPT_FILE.log`
- echo "Current script file: $CURRENT_SCRIPT_LOG"
- script -q --timing="$SCRIPT_FILE".time "$SCRIPT_FILE".log
- exit
- fi
- # replay section
- function playScriptReplay {
- scriptfile=`dirname $SCRIPT_FILE`/$1
- timefile=`echo $scriptfile|sed 's/.log/.time/g'`
- echo
- echo -------------------------
- echo SCRIPT REPLAY `basename $scriptfile` STARTED
- scriptreplay -m 0.5 --timing=$timefile $scriptfile
- echo SCRIPT REPLAY `basename $scriptfile` FINISHED
- echo -------------------------
- echo
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement