Находил лишь разрозненные отрывки решения, из которых собралось целое:
Для смены формата даты с Пн 25 18:23 на 25 июня Пн. 18:24 нужно установить
sudo apt-get install dconf-tools
в запущенной программе найти
сom -> canonical -> indicator -> datetime -> time-format изменить на "custom" (нажать левой кнопкой мыши на значении параметра и, неотпуская лкм выбрать custom)
сom -> canonical -> indicator -> datetime -> custom-time-format "%d %b %a %k:%M" (без ковычек)
Тоже самое можно выполнить и в консоли:
gsettings set com.canonical.indicator.datetime time-format "custom"
gsettings set com.canonical.indicator.datetime custom-time-format "%d %b %a %k:%M"