> please lose your entire scroll buffer before this works FWIW, some variation on: $ exec bash ought to work, since what you care about is restarting the s

> please lose your entire scroll buffer before this works FWIW, some variation on: $ exec bash ought to work, since what you care about is restarting the shell (.bashrc,PATH,etc), rather than the terminal per se.