Os mapeamentos são diferentes porque o Mac OS X não é um DOS, para o qual o site a que você vinculou foi aparentemente gravado. Os mapeamentos específicos foram herdados de emuladores de terminal Unix / Linux anteriores, como é refletido em suas opções para o tipo de emulador de terminal Terminal.app que você deseja exibir:
Comovocêpodever,porexemplo,F6
to ^[[17~
é consenso generalizado entre emuladores de terminal.
O Shift-F5
do terminal para Shift-F12
é equivalente ao F13
do VT220 a F20
.
O% s Opt-F1
to Opt-F15
do terminal equivale ao F6
to F20
do VT220, ou seja, a opção "desloca" 5 teclas para a direita.
Eu assumo que este mapeamento é o resultado do desejo de ser compatível com os mapeamentos existentes e fornecer o mais próximo possível de um teclado de 20 F
-key com apenas 12 ou 15 teclas F em Macs modernos .
Se você não gosta desses mapeamentos específicos, é fácil alterá-los na caixa de diálogo de configurações já mencionada. Lembre-se de que você pode mapear para uma entrada praticamente arbitrária (que é, na verdade, uma maneira bem simples de fazer os atalhos de teclado do tipo Typinator / TextExpander no Terminal):
Se você preferir editar em um editor de texto simples, poderá exportar uma configuração do Terminal usando o ícone de engrenagem, editá-la (é XML) e importá-la novamente.