☰

~/.bash_profile をソースしようとすると、Bash 権限が拒否されるというエラーが発生する

tag-icon • tag-icon macos bash
~/.bash_profile をソースしようとすると、Bash 権限が拒否されるというエラーが発生する

なぜこのエラーが発生するのか分かりません

-bash: /dev/ttys000: Permission denied

ソースを取得しようとすると~/.bash_profile? Csound の最近のインストールを除いて、セットアップ (OS X 10.10.1) では何も変更されていません。

答え1

単なる推測ですが、そのプロセス/ユーザーに対して書き込みが閉じられているスクリプトまたはコマンドが~/.bash_profile書き込まれようとしています。/dev/ttys000

エラーが発生した場所を特定するには、現在のシェルのデバッグを有効にしてみてください。

set -x                    # To enable debugging
source ~/.bash_profile    # source the file
set +x                    # To disable debugging

誰が/なぜかがわかっても問題を解決できない場合は、それについて別の質問を投稿してください。

例:
ファイルには次aaa.shの内容が含まれています:

date +"%H:%M:%S"
ls /ahksfjkasd
echo Hi!

出力は次のようset -x; source aaa.sh; set +xになります。

++ date +%H:%M:%S
17:54:09
++ ls --color=auto /ahksfjkasd
ls: cannot access /ahksfjkasd: No such file or directory
++ echo 'Hi!'
Hi!

++ ls --color /ahksfjkasdエラーは（ ）の前の行から発生します

関連情報