Отключить функцию диктовки Ctrl + D [закрыто]

Question 1

Когда я нажимаю Ctrl + D , у меня на экране появляется микрофон, похожий на диктовку:

Я хотел бы отключите этот ярлык, потому что он мне нужен в терминале для других приложений.

Однако я не могу найти ярлык ни в настройках клавиатуры, ни где-либо еще.

Question 2

Можно использовать эту команду для отключения действия:

trap "" 3

Для возвращения для установки по умолчанию, необходимо использовать:

trap " " 3

В этом примере date назван, когда Вы нажимаете Ctrl+D:

trap "date" 3

kill -l дает Вам список сигналов.

dessert · Answer 1 · 1 November 2019 в 06:04

Можно использовать эту команду для отключения действия:

trap "" 3

Для возвращения для установки по умолчанию, необходимо использовать:

trap " " 3

В этом примере date назван, когда Вы нажимаете Ctrl+D:

trap "date" 3

kill -l дает Вам список сигналов.

1 ответ