I use "source" inside a bash script, as follows:
#!/bin/bash source someneatscriptthatendsprematurely.sh
I would like to exit from
Is it important that you can change environment variables? Since otherwise you can just execute the script by executing it without source:
someneatscriptthatendsprematurely.sh