source <file>
This command interprets the contents of the specified file as a text
script. If an error occurs while the script is running,
source
will return immediately with an error code.
Otherwise the return value is the return value of the last command in
the file.
The current working directory will be changed to the directory containing the script file while the script is executing. This allows script files to contain relative references to other files.
You can learn more about using scripts in the "Script Files" manual page.
To run the script file "init.in":
lens> source init.in