Advertisement
Guest User

Untitled

a guest
Jun 19th, 2019
63
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.07 KB | None | 0 0
  1. screen -t "window 0" 0 bash -ic 'HISTFILE=~/.bash_history.${WINDOW} bash'
  2. screen -t "window 1" 1 bash -ic 'HISTFILE=~/.bash_history.${WINDOW} bash'
  3. screen -t "window 2" bash -ic 'HISTFILE=~/.bash_history.${WINDOW} bash'
  4.  
  5. bind c screen bash -ic 'HISTFILE=~/.bash_history.${WINDOW} bash'
  6. bind ^C screen bash -ic 'HISTFILE=~/.bash_history.${WINDOW} bash'
  7.  
  8. export PROMPT_COMMAND="history -a; history -c; history -r; ${PROMPT_COMMAND}"
  9.  
  10. cat $HISTFILE
  11. #or tac, less, $EDITOR, ... depending on how you want to "access" it
  12.  
  13. case "$TERM" in
  14. screen)
  15. declare SCREEN_NAME=$(echo $STY | sed -nr 's/[^.]*.(.*)/1/p')
  16. if [[ $SCREEN_NAME ]]; then
  17. HISTFILE="${HISTFILE}.${SCREEN_NAME}.${WINDOW}"
  18. declare -p HISTFILE
  19. fi
  20. unset SCREEN_NAME
  21. ;;
  22. *)
  23. ;;
  24. esac
  25.  
  26. if [[ $TERM == screen ]]; then
  27. declare SCREEN_NAME=$(echo $STY | sed -nr 's/[^.]*.(.*)/1/p')
  28. if [[ $SCREEN_NAME ]]; then
  29. HISTFILE="${HISTFILE}.${SCREEN_NAME}.${WINDOW}"
  30. declare -p HISTFILE
  31. fi
  32. unset SCREEN_NAME
  33. fi
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement