
Я не могу понять, почему возникает эта ошибка.
-bash: /dev/ttys000: Permission denied
когда я пытаюсь получить свой ~/.bash_profile
? В моей настройке (OS X 10.10.1) ничего не изменилось, за исключением недавней установки Csound.
решение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
)