I wanted to source a file in a docker container running Ubuntu without going inside the container.
I used to:
docker exec -it CONTAINER_ID bash source FILE
Now I wanted to do:
docker exec -it CONTAINER_ID source FILE
and was surprised that the error pops up:
exec: "source": executable file not found in $PATH
True enough I realized that
source does not seem to be your standard command, as I cannot locate it via
ls behaves nicely.
What kind of thing is this
source command anyway, and how to execute it via
docker exec -it?