https://blog.offline-net.com/2011/08/19/ubuntu-6-10-gnome-terminal%e3%81%a7f1%e3%82%ad%e3%83%bc%e3%82%92%e7%84%a1%e5%8a%b9%e3%81%ab%e3%81%97%e3%81%9f%e3%81%84/
Ubuntu 6.10 : gnome-terminalでF1キーを無効にしたい