|
Next: 16. Linux und Hardware Up: 15.4 Weitere Builtin-Befehle der Previous: 15.4.1 shopt
15.4.2 source
Der Befehl source dient zur Ausführung eines Scripts. Er liest die Kommandos aus einer Datei aus und führt dieser in der aktuellen Shell-Umgebung aus. Es wird als Fehler der Fehlercode des letzten ausgeführten Befehls genommen.
source DATEINAME [PARAMETER]
Enthält der angegebene Dateiname keinen Schrägstrich, so werden die Verzeichnisse aus der Variablen PATH nach der Datei durchsucht. Die Dateien müssen nicht ausführbar sein.
Sollte sich die Bash nicht im Posix-Modus befinden, so wird das aktuelle Verzeichnis durchsucht, wenn die Suche in den Pfad-Verzeichnissen zu keinem Erfolg geführt hat. Das Durchsuchen der Pfad-Variablen hängt ab von der Option ``sourcepath'' des shopt Befehls (15.4.1). Bei gesetzter Option (shopt -s sourcepath) wird der Pfad durchsucht.
Next: 16. Linux und Hardware Up: 15.4 Weitere Builtin-Befehle der Previous: 15.4.1 shopt