edit mysql.txt