mysql_config • man page