I am committing a change to the dev_container makefile that does the following: Corrects bugs in the generated user-env.csh file Adds the creation of $TARGET/service-env.sh and $TARGET/service-env.csh that set up an environment just like user-env does (it sources user-env) but also adds $TARGET/service/*/bin to the path, for the service scripts that need access to other service scripts. --bob