Eu diria que você pode pará-lo (por exemplo, via CTRL-C ou reinicialização), porque parar o servidor não é uma coisa vital.
Você pode prosseguir com sudo apt-get purge mariadb-server-core-10.0
.
Minha instalação do MySQL / MariaDB foi corrompida, e estou tentando remover e reinstalar via apt-get
Infelizmente, estou tendo um grande problema com o congelamento do apt-get após parar o servidor mariadb.
Esta é a saída que estou recebendo
jason@asus:~$ sudo apt-get install mariadb-server-core-10.0
Reading package lists... Done
Building dependency tree
Reading state information... Done
The following package was automatically installed and is no longer required:
mariadb-server-10.0
Use 'apt-get autoremove' to remove them.
The following NEW packages will be installed:
mariadb-server-core-10.0
0 upgraded, 1 newly installed, 0 to remove and 25 not upgraded.
2 not fully installed or removed.
Need to get 0 B/5,486 kB of archives.
After this operation, 15.3 MB of additional disk space will be used.
Selecting previously unselected package mariadb-server-core-10.0.
(Reading database ... 361764 files and directories currently installed.)
Unpacking mariadb-server-core-10.0 (from .../mariadb-server-core-10.0_10.0.2+maria-1~precise_i386.deb) ...
Setting up mariadb-server-core-10.0 (10.0.2+maria-1~precise) ...
Setting up mariadb-server-10.0 (10.0.2+maria-1~precise) ...
* Stopping MariaDB database server mysqld
Depois dessa última linha, o apt-get congela sem progresso em 10 minutos.
Eu diria que você pode pará-lo (por exemplo, via CTRL-C ou reinicialização), porque parar o servidor não é uma coisa vital.
Você pode prosseguir com sudo apt-get purge mariadb-server-core-10.0
.