Eu freqüentemente uso o caractere ASCII 31 (Unit Separator; Ctrl-_ ) como um delimitador de campo para o trabalho que eu faço.
Usando a linha de comando bash, posso inserir um caractere de controle literal pressionando Ctrl-V e depois o caractere de controle. (Eu uso Ctrl-V e Shift-Ctrl-_ ao especificar delimitadores para comandos de corte ou classificação).
Como eu insiro esse caractere de controle usando o editor de texto do Kate?
Acontece que o F7 para entrar no modo de comando funciona muito bem, afinal.
A função char não se limita apenas aos códigos hexadecimais, os valores decimais funcionam igualmente bem.
Acertando F7 para entrar no modo de comando, a entrada de char 31 produz exatamente o que eu precisava.