how to switch a different buffer from a terminal buffer