function addProfileStatement() { name="$1"; title="$2"; shellBin="$3"; profileRoot="$4"; if [ ! -z "${@:5}" ] then statement="${@:5}"; else statement="$(cat)"; fi; contextRoot="$(mktemp -d)"; pushd "$contextRoot" > /dev/null; { echo '#!'"$shellBin"; echo "# $title"; echo "$statement"; } > "profile.sh"; sudo install -Dm755 profile.sh "$profileRoot/$name.sh" popd > /dev/null; rm -rf "$contextRoot"; }