batch-file - tcshrc 設定パス取得エラー

Question

ubuntuの下の私の家のフローダーで、このようなpintosコマンドを実行するための環境パスを設定しようとしています

set path = ($path /home/pintos/src/utils)

端末コマンドを入力して、これをコンパイルしようとします

:~$ source .tcshrc 

しかし、このようなエラーが発生するようです

 bash: .tcshrc: line 1: syntax error near unexpected token `('
 bash: .tcshrc: line 1: `set path = ($path /home/pintos/src/utils)'

構文エラーがどこにあるかわかりません...

Answer 1

sourceに完全に有効なスクリプトを[t]csh実行中のシェルbashに入れ ますtcsh。

を使用する場合はtcsh、( と入力して) 実行し、目的の効果があるtcshことを確認してください。~/.tcshrc(その後、chshログインシェルを変更するために使用するかもしれません)。

を使用する場合は、 、 inおよび/または inbashを使用してパスを設定します。PATH=$PATH:/home/pintos/src/utils~/.bashrc~/.bash_profile