the `user` file is clobbered by the login/logout commands. Use another file to store user-specific settings.