Если вы используете gnome-терминал, да, вы можете отключить, что клавиша F10 открывает меню:
Откройте меню гнома-терминала с помощью F10 или с помощью мыши, выберите «Редактирование»> «Горячие клавиши», затем снимите флажок «Включить горячую клавишу меню (по умолчанию F10)».