20190312 The gnome-tweaks tool provides options
to fine tune Gnome. Further refinements of Gnome can be done via Gnome
Extensions. Extensions can be installed via
https://extensions.gnome.org after installing the Gnome Shell
Extensions for the browser. We also need to install:
$ wajig install chrome-gnome-shell
The gnome panel usually displays centrally the abbreviated day and
time with hours and minutes. We can change what is displayed using the
Panel Date Format extension by KEIII. Once the extension is
installed the date/time format can be changed:
Gnome Panel Clock Format
Date Time Format Specifiers for details of the format string.
dconf write /org/gnome/shell/extensions/panel-date-format/format "'%A %Y%m%d %H:%M:%S'"
Copyright © 1995-2020 Togaware Pty Ltd
Support further development through the purchase of the PDF version of the book.
Brought to you by Togaware and the author of open
source software including Rattle and wajig.
Also the author of Data Mining with Rattle and Essentials
of Data Science.