My bad. Using "." did work, the error was caused by something *in* my .bashrc, I simply got confused by the error message. Sorry about that.
As for $SHELL, I stand corrected. The transition from bash to dash caused a regression (in that my previously working login stopped working), but perhaps the bugs are all mine. -- Dash doesn't understand "source" https://launchpad.net/bugs/65046 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
