可能であれば、次のようにteeを介してJShell REPLをパイプしたいと思います。
jshell | tee "~\jshell-`date +'%d_%m_%Y__%H-%M-%S'`.log"
コマンドが実行され、シェルが起動しますが、ファイルは表示されません。
答え1
ドキュメントではこれを実装します。予期した場所ではありません(ただし、~
名前の最初の文字がaの現在のディレクトリ)。実行の問題を簡単に確認できます。
echo tee "~\jshell-`date +'%d_%m_%Y__%H-%M-%S'`.log"
だから解決策は
jshell | tee ~/"jshell-`date +'%d_%m_%Y__%H-%M-%S'`.log"