如下图所示,当用户未登录时,可以给出真正需要执行的命令(当前为 lean login),而不是仅仅提示错误,这样体验会更好些。