>>678さん
実行してみましたが
$ tcsh a
bash: tcsh: command not found
と出てしまいました。