Port `server` from ~/.bashrc