Estoy creando un pequeño script de configuración automatizado que se modificará /etc/profile
y $HOME/.profile
si algunas rutas no se exportan. Entonces, me gustaría volver a cargarlos automáticamente.
He leído que source
hace esto, así que encendí mi terminal e ingresé:
source /etc/profile
source ~/.profile
Desde la terminal, no produjo ningún error.
Sin embargo, poner estos dos comandos dentro del script Bash da como resultado source: not found
.
- ¿Cómo puedo estar seguro de que Bash ejecuta el script, incluso si
#!/bin/sh
se especifica (aparentemente, no lo garantiza)? - ¿Por qué diría que estas dos fuentes no se pueden encontrar cuando están allí sin lugar a dudas?