Não consigo entender por que estou recebendo esse erro
-bash: /dev/ttys000: Permission denied
quando tento obter meu ~/.bash_profile? Nada mudou na minha configuração (OS X 10.10.1), exceto uma instalação recente do Csound.
Responder1
Apenas um tiro no escuro: há um script ou comando no seu ~/.bash_profileque tenta escrever /dev/ttys000e que está fechado para escrever para esse processo/usuário.
Caso queira identificar onde é gerado o erro, tente habilitar a depuração do shell atual:
set -x # To enable debugging
source ~/.bash_profile # source the file
set +x # To disable debugging
Se você descobrir quem/por que e não conseguir resolver o problema, poste outra pergunta sobre o assunto.
Exemplo:
No arquivo aaa.shexiste:
date +"%H:%M:%S"
ls /ahksfjkasd
echo Hi!
A saída de 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!
O erro é gerado a partir da linha antes de ( ++ ls --color /ahksfjkasd)