maria-discuss team mailing list archive

[William Edwards <wedwards@xxxxxxxxxxxxxx>]

Hi,

https://mariadb.com/kb/en/upgrading-from-mariadb-104-to-mariadb-105/ 
(and all other minor upgrade guides) contain these steps:

2. Stop MariaDB.
3. Uninstall the old version of MariaDB:
   On Debian, Ubuntu, and other similar Linux distributions, execute the 
following:
   sudo apt-get remove mariadb-server
4. Install the new version of MariaDB.

I'm thinking to myself: doesn't it make more sense to instruct readers 
to 'dist-upgrade' on Ubuntu and Debian (which works because of the 
'Replaces' in newer packages)? That would merge steps 3 and 4 (and maybe 
step 2 as well, because of stop_server() in preinst) into one command 
that could be easier to use for novice users.

Sorry if I missed a detail that dist-upgrade does not take care of.

--
With kind regards,

William Edwards