sandbox.sh: add greeting file launched by shell