Ich erstelle ein kleines automatisiertes Setup-Skript, das geändert wird /etc/profile
und $HOME/.profile
bei dem einige Pfade nicht exportiert werden. Dann möchte ich diese automatisch neu laden.
Ich habe gelesen, dass dies der source
Fall ist, also habe ich mein Terminal hochgefahren und Folgendes eingegeben:
source /etc/profile
source ~/.profile
Vom Terminal wurde kein Fehler ausgegeben.
Das Einfügen dieser beiden Befehle in das Bash-Skript führt jedoch zu source: not found
.
- Wie kann ich sicher sein, dass das Skript von Bash ausgeführt wird, auch wenn dies
#!/bin/sh
angegeben ist (anscheinend wird dies nicht garantiert)? - Warum sollte es heißen, dass diese beiden Quellen nicht gefunden werden können, wenn sie unverkennbar sind?