Hacker News new | ask | show | jobs
by _lvbh 908 days ago
Interestingly enough, I had this recommended to me by a friend within the past month.

For those that use it, is there any reason for me to switch from gnome-terminal?