Nice exploit.
I think it can be prevented by `tee`ing bash :
$ curl -s https://localhost:5555/setup.bash | tee bash sleep 3 echo "Hello there :)"
I think it can be prevented by `tee`ing bash :
$ curl -s https://localhost:5555/setup.bash | tee bash sleep 3 echo "Hello there :)"