1
0
mirror of https://github.com/MariaDB/server.git synced 2026-01-06 05:22:24 +03:00
Files
mariadb/man
Tingyao Nian 4145618103 MDEV-22023 Update man page NAME section to say MariaDB instead of MySQL
Continue the effort of a previous commit (PR#2114) which changed the man
pages titles from MariaDB to MySQL, to further update the man pages.

Update the man page NAME sections to use mariadb-* instead of mysql* for
MariaDB binaries that are drop-in replacements for MySQL equivalents,
indicating that the commands are actually of the MariaDB version.

Before:
    NAME
        mysql_upgrade - check tables for MariaDB upgrade
    ...

After:
    NAME
        mariadb-upgrade - check tables for MariaDB upgrade (mysql_upgrade
        is now a symlink to mariadb-upgrade)
    ...

All new code of the whole pull request, including one or several files
that are either new files or modified ones, are contributed under the
BSD-new license. I am contributing on behalf of my employer Amazon Web
Services, Inc.
2022-06-09 09:08:03 +10:00
..
2015-10-09 12:46:54 +02:00
2015-10-09 12:46:54 +02:00
2015-10-09 12:46:54 +02:00
2021-10-25 12:15:49 +02:00
2019-07-15 19:17:46 +04:00
2019-07-15 19:17:46 +04:00
2019-07-15 19:17:46 +04:00
2019-07-15 19:17:46 +04:00
2019-07-15 19:17:46 +04:00
2019-07-15 19:17:46 +04:00
2019-07-15 19:17:46 +04:00
2019-07-15 19:17:46 +04:00
2019-07-15 19:17:46 +04:00
2019-07-15 19:17:46 +04:00
2019-07-15 19:17:46 +04:00
2019-07-15 19:17:46 +04:00
2019-07-15 19:17:46 +04:00
2019-07-15 19:17:46 +04:00
2018-08-28 14:12:42 +03:00
2019-07-15 19:17:46 +04:00
2019-07-15 19:17:46 +04:00
2019-07-15 19:17:46 +04:00
2019-07-15 19:17:46 +04:00
2019-07-15 19:17:46 +04:00
2019-07-15 19:17:46 +04:00
2019-07-15 19:17:46 +04:00