Erro de Bash negado ao tentar originar ~ / .bash_profile

Question

Não sei 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.

    

Answer 1

Apenas um tiro no escuro: existe um script ou um comando no seu ~/.bash_profile que tenta escrever no /dev/ttys000 que está fechado para escrever para esse processo / usuário.

Se você quiser 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 consegue resolver o problema, poste outra pergunta sobre isso.

Exemplo:
No arquivo aaa.sh existe:

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 anterior ( ++ ls --color /ahksfjkasd )