SSHで接続先のSHELLでアクションをさせたい

実際のところ

リモート先がIonoPi (Raspberry Pi 3b+ とPLC的につかえるシールドのついたキット)で、bash
 (1)接続したledを発火
 (2)現在時刻を接続先のログファイルに記録
という場合、以下のようにします。

$ ssh user@remote bash <<SHELL
iono led on
date > ~/log/action.log
SHELL