With these three merged in, plush can now reasonably be a login shell, and deal with your system's /etc/profile. Note: starting the web interface will cause plush to act like a login shell. After you do this the first time, check out ~/.plush/profile and ~/.plush/env -- you can now customize plush startup, and with if and parameters, you have enough machinery to do something interesting.