bash: report execution time
tmux: change title-string
tmux: run-tmux switch ssh auth sock