Hacker News new | comments | show | ask | jobs | submit login

I'm sorry, but this is rubbish. You are talking about editing a file in /usr, which means your fix is guaranteed to break at the next upgrade. And this is not "easy". Or at least not "easy" in the sense that Gnome "is not meant for users who don't want to select their terminal emulators". This is neither discoverable nor maintainable.

What's wrong with sane defaults and a configuration panel?

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact