IP アドレス経由で SSH を使用する場合のホスト設定グループの強制適用

~/.ssh/config適用したい設定がいくつかあるファイルがありますが、Host *.work.example.com時にはまだDNSレコードがないホストに接続する必要があるとします。

私が知っている解決策はいいえ実際：

• ホストの追加/etc/hosts
• すべての設定をコマンドラインにコピー
• 設定を別のファイルにコピーして使用してください。ssh -F otherconfig

そして不可能な解決策は次のとおりです。

• 設定をこのHost *セクションに移動します。機能していないホストにはオプションを適用できません。

もっと実用的な方法はありますか？たぶん似ているかもしれませんが、ssh -Fファイルの内容をコピーするのではなく、デフォルトのプロファイルからホストグループを選択しますか？または、SSHに一時ホスト名とIPアドレスを提供する方法は？

---

opensshのマニュアルページにはこれがHost可能なオプションとして表示されていますが、-o試してみると次のエラーが発生します。

Host directive not supported as a command-line option