MariaDB中發生Cannot load from mysql.proc. The table is probably corrupted

最近改使用JetBrain的DataGrip試試，但一直發生"Cannot load from mysql.proc. The table is probably corrupted"，以致於無法載入table，但其他都正常。查了下發現官網也有呈述這類問題，看起來跟mysql的版本有關，只要升級後就可以了，如下圖：

取自：MySQL to MariaDB migration: handling privilege table differences when using mysqldump

所以執行底下指令

$ mysql_upgrade --force -u root -p
Enter password:
MySQL upgrade detected
Phase 1/6: Checking and upgrading mysql database
Processing databases
mysql
mysql.column_stats                                 OK
mysql.columns_priv                                 OK
mysql.db                                           OK
mysql.event                                        OK
mysql.func                                         OK
mysql.gtid_slave_pos                               OK
mysql.help_category                                OK
mysql.help_keyword                                 OK
#.......忽略
Phase 6/6: Running 'FLUSH PRIVILEGES'
OK

看到回應OK後再試試就沒問題了

參考網址：
MySQL to MariaDB migration: handling privilege table differences when using mysqldump