No puedo entender por qué recibo este error
-bash: /dev/ttys000: Permission denied
cuando intento obtener mi ~/.bash_profile? Nada ha cambiado en mi configuración (OS X 10.10.1), excepto una instalación reciente de Csound.
Respuesta1
Solo un tiro en la oscuridad: hay un script o un comando en el ~/.bash_profileque intenta escribir /dev/ttys000y que está cerrado para escribir para ese proceso/usuario.
Si desea identificar dónde se genera el error, intente habilitar la depuración del shell actual:
set -x # To enable debugging
source ~/.bash_profile # source the file
set +x # To disable debugging
Si encuentra quién/por qué y no puede resolver el problema, publique otra pregunta al respecto.
Ejemplo:
En el archivo aaa.shhay:
date +"%H:%M:%S"
ls /ahksfjkasd
echo Hi!
La salida de set -x; source aaa.sh; set +xes:
++ date +%H:%M:%S
17:54:09
++ ls --color=auto /ahksfjkasd
ls: cannot access /ahksfjkasd: No such file or directory
++ echo 'Hi!'
Hi!
El error se genera a partir de la línea anterior a ( ++ ls --color /ahksfjkasd)