> . "$CONFIG_FILE" 2>"$ERR" > OTOH, I suppose that switching to bash wouldn't be approved just like that. ;)
Bash's input redirection simply is way more powerful. Granted, bash takes a tad longer to start up, but any tee or other external program which you call in addition will probably hurt performance just as much. TBH I don't see a better solution either. > You might think that something like this should work: > . "$CONFIG_FILE" 2>&1 >/dev/null | tee "$ERR" >&2 No, as that would fork off the "." into a subprocess, and thus the exports only survive there. -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gdm in Ubuntu. https://bugs.launchpad.net/bugs/678421 Title: Error message for a faulty ~/.profile script To manage notifications about this bug go to: https://bugs.launchpad.net/gdm/+bug/678421/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
