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

Question 1

Когда я нажимаю Ctrl + DI, получайте этот диктофонный микрофон на моем экране:

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

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

Question 2

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

trap "" 3

Чтобы вернуться к умолчанию, вы должны использовать:

trap " " 3

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

trap "date" 3

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

Question 3

Question 4

Вы можете использовать эту команду, чтобы отключить действие:

trap "" 3

Чтобы вернуться к умолчанию, вы должны использовать:

trap " " 3

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

trap "date" 3

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

dessert · Answer 1 · 18 July 2018 в 03:31

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

trap "" 3

Чтобы вернуться к умолчанию, вы должны использовать:

trap " " 3

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

trap "date" 3

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

dessert · Answer 2 · 24 July 2018 в 17:51

Вы можете использовать эту команду, чтобы отключить действие:

trap "" 3

Чтобы вернуться к умолчанию, вы должны использовать:

trap " " 3

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

trap "date" 3

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

2 ответа