Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

F10 always worked for me, but some terminals use F10 for some other functionality.

If that fails, you can click on "10 Quit" with the mouse (not ideal, but an immediate solution).



Ah I see, thx, it's a pretty default configured "gnome-terminal", which probably captures the F10.




Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: