mysql shell script