A terminal separator translated from bash.