すみません、ファイルをディレクトリを入れ直したら動的ローティング用実行ファイルを workspace ディレクトリに生成することができました。 ご丁寧にご指導していただき、ありがとうございます。 .bashrcファイルの生成なのですが、これはCotEditorなどで export PATH=~/gcc-arm-none-eabi-5_4-2016q2/bin:$PATH と書き込み、ドットの前に任意の文字を打ち、保存すればよろしいでしょうか? 現在は.bashrcファイルなしで動的ローティング用実行ファイルを生成でき、手元にEV3がないので後日実験を行いたいと思っています。