[Translating]20140529 What is a good terminal emulator on Linux