Don't like ads? PRO users don't see any ads ;-)
Guest

Untitled

By: a guest on Jun 30th, 2012  |  syntax: None  |  size: 0.50 KB  |  hits: 13  |  expires: Never
download  |  raw  |  embed  |  report abuse  |  print
Text below is selected. Please press Ctrl+C to copy to your clipboard. (⌘+C on Mac)
  1. Bash - Update terminal title by running a second command
  2. trap 'echo -ne "33]0;$BASH_COMMAND07"' DEBUG
  3.        
  4. function settitle () {
  5.     export PREV_COMMAND=${PREV_COMMAND}${@}
  6.     echo -ne "33]0;${PREV_COMMAND}07"
  7.     export PREV_COMMAND=${PREV_COMMAND}' | '
  8. }
  9.  
  10. export PROMPT_COMMAND=${PROMPT_COMMAND}';export PREV_COMMAND=""'
  11.  
  12. trap 'settitle "$BASH_COMMAND"' DEBUG
  13.        
  14. trap 'echo -ne "33]2;$(history 1 | sed "s/^[ ]*[0-9]*[ ]*//g")07"' DEBUG
  15.        
  16. true && (false); echo $? | cat
  17.        
  18. true | echo $? | cat