editrc file for mysql cli goodness