Dynamic SSH External Tools title with vagrant name?

Hi,
I was wandering if there's some kind of token I can use to make the SSH External Tools title (when it opens a new console) to include the selected vagrant name.
smth like:
restart server -$SERVER_NAME$

Thanks

Please sign in to leave a comment.