Re: mysql CLI - history shared by users?