Вариант 1)
Вы можете выбрать опцию Match (см. man ssh _config)
Match Host example.com exec "test $_ = /usr/bin/ssh"
RemoteCommand tmux a; or tmux
RequestTTY yes
Это будет различать только разницу между ssh и sftp
Вариант 2
Вы создаете некоторую конфигурацию-заполнитель для своей команды diffe, например:
Host tmux.example.com
HostName example.com
HostKeyAlias example.com
RemoteCommand tmux a; or tmux
RequestTTY yes
И после этого вы все еще можете использовать example.com для использования sftp / ping.
Я использовал следующий скрипт:
for f in *.txt ; do
if [[ "$f" =~ ^(PREFIX)\ -\ (.*)\ ([0-9]{6})\.txt$ ]]; then
mv -v "${f}" "${BASH_REMATCH[3]}\ -\ ${BASH_REMATCH[1]} - ${BASH_REMATCH[2]}.txt"
fi
done
Он основывался на следующих ответах: