Was thinking the same thing. I just run my usual terminal and get to work.