Как отключить клавишу справки F1 в Ubuntu 18.04?

Это было задано очень давно здесь , но ни один из ответов не дал работы для Ubuntu 18.04.

Как отключить привязку клавиш F1 для «Ubuntu Desktop Guide»? Я хотел бы, чтобы это ничего не делало. Ничего не делать было бы огромным улучшением при нежелательном нарушении Ubuntu Desktop Guide каждый раз, когда я случайно нажимаю F1, а не Esc или F2, которые делают полезные вещи.

Если бы можно было сделать что-то еще, кроме того, чтобы не открывать Ubuntu Desktop Guide, это было бы просто.