将日期的月份部分转换为短名称 mysql 8

Convert month part of date to short name mysql 8

date_format 将当前日期转换为所选格式

select date_format(now(),'%d-%M-%Y');

结果是

'29-November-2020'

有什么函数可以给我29-Nov-2020吗?我可以通过将月份转换为数字并使用 case & concat 语句来完成此操作,但可能会过于复杂。

The docs 说使用 %b

select date_format(now(),'%d-%b-%Y');

SQLFiddle demo