Você não pode fazer isso usando apenas as opções ssh_config
, mas existe a opção exec
, que pode fazer isso para você:
Match exec "getent hosts %h | grep -qE '^(192\.168|10\.|172\.1[6789]\.|172\.2[0-9]\.|172\.3[01]\.)'
setting
Editar: modificou o grep
com base no comentário.