Desativar recurso de ditado Ctrl + D [fechado]

0

Quando pressiono Ctrl + D , recebo esse mic do tipo ditado na minha tela:

Eu gostaria de desabilitar este atalho, porque eu preciso dele no terminal para outras aplicações.

No entanto, não consigo encontrar o atalho nas configurações do teclado ou em qualquer outro lugar.

    
por user303790 10.11.2017 / 18:22

1 resposta

1

Você pode usar este comando para desativar a ação:

trap "" 3

Para voltar ao padrão, você deve usar:

trap " " 3

Neste exemplo date é chamado quando você pressionar Ctrl + D :

trap "date" 3

kill -l fornece uma lista de sinais.

    
por omid abbasi 10.11.2017 / 18:44