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

実際のところ

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

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

参考もと

Shell Scriptを書くときのテクニック10選 | κeenのHappy Hacκing Blog