Fehler „Bash-Berechtigung verweigert“ beim Versuch, die Quelle ~/.bash_profile zu verwenden

Fehler „Bash-Berechtigung verweigert“ beim Versuch, die Quelle ~/.bash_profile zu verwenden

Ich kann nicht herausfinden, warum ich diesen Fehler bekomme

-bash: /dev/ttys000: Permission denied

wenn ich versuche, meine Quelle zu verwenden ~/.bash_profile? Außer einer kürzlichen Installation von Csound hat sich an meinem Setup (OS X 10.10.1) nichts geändert.

Antwort1

Nur ein Schuss ins Blaue: Es gibt in Ihrem Dokument ein Skript oder einen Befehl, ~/.bash_profileder versucht zu schreiben, /dev/ttys000der aber für diesen Prozess/Benutzer zum Schreiben gesperrt ist.

Wenn Sie herausfinden möchten, wo der Fehler auftritt, versuchen Sie, das Debugging der aktuellen Shell zu aktivieren:

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

Wenn Sie herausgefunden haben, wer/warum, und das Problem nicht lösen können, stellen Sie eine weitere Frage dazu.


Beispiel:
In der Datei aaa.shsteht:

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

Die Ausgabe set -x; source aaa.sh; set +xlautet:

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

Der Fehler wird durch die Zeile vor ( ++ ls --color /ahksfjkasd) erzeugt.

verwandte Informationen