On Nov 18, 2014, at 02:41 PM, Martin Pitt wrote: >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.
Purely selfishly, switching back to bash would probably solve my original problem since all my (ancient) startup/login scripts are bash syntax. ;) -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to 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 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
