Public Pastes
daily pastebin goal
76%
SHARE
TWEET

Untitled

a guest Oct 3rd, 2017 79 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. set-title(){
  2.   ORIG=$PS1
  3.   TITLE="\e]2;$@\a"
  4.   PS1=${ORIG}${TITLE}
  5. }
RAW Paste Data
Top