Advertisement
Guest User

Untitled

a guest
Apr 18th, 2019
90
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.76 KB | None | 0 0
  1. # script - record everything
  2. # record section
  3. if [ ! "$SCRIPT_FILE" ]; then
  4. mkdir -p ~/Documents/script-output
  5. SCRIPT_FILE="${HOME}/Documents/script-output/`date +'%Y%m%d-%H%M%S'`-script-audit-file"
  6. export SCRIPT_FILE
  7. export CURRENT_SCRIPT_LOG=`basename $SCRIPT_FILE.log`
  8. echo "Current script file: $CURRENT_SCRIPT_LOG"
  9. script -q --timing="$SCRIPT_FILE".time "$SCRIPT_FILE".log
  10. exit
  11. fi
  12.  
  13. # replay section
  14. function playScriptReplay {
  15. scriptfile=`dirname $SCRIPT_FILE`/$1
  16. timefile=`echo $scriptfile|sed 's/.log/.time/g'`
  17. echo
  18. echo -------------------------
  19. echo SCRIPT REPLAY `basename $scriptfile` STARTED
  20. scriptreplay -m 0.5 --timing=$timefile $scriptfile
  21. echo SCRIPT REPLAY `basename $scriptfile` FINISHED
  22. echo -------------------------
  23. echo
  24. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement