#echo -e “deb http://repo.mysql.com/apt/debian/ stretch mysql-5.7\ndeb-src http://repo.mysql.com/apt/debian/ stretch #mysql-5.7” > /etc/apt/sources.list.d/mysql.list
# wget -O /tmp/RPM-GPG-KEY-mysql https://repo.mysql.com/RPM-GPG-KEY-mysql
# apt-key add /tmp/RPM-GPG-KEY-mysql
# apt update
# apt install mysql-server
Si decidimos volver a instalar mariaDB, puede pasar que nos de este error al tratar de arrancar mariaDB:
[ERROR] Plugin ‘InnoDB’ init function returned error.
para solucionarlo, nos aseguramos de que está to detenido:
#~:service mariadb stop
#~:service mysql stop
#~:service mysqld stop
Editamos my.cnf que suele estar en /etc/mysql y vamos a la sección [mysqld]. Añadimos:
innodb_log_file_size=128M
y finalmente movemos los archivos de log:
mv /var/lib/mysql/ib_log* /root
arrancamos mariaDB y todo OK.