Go to TogaWare.com Home Page. GNU/Linux Desktop Survival Guide
by Graham Williams
Duck Duck Go

Gnome Settings

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

Gnome Panel Clock Format

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:
dconf write /org/gnome/shell/extensions/panel-date-format/format "'%A %Y%m%d %H:%M:%S'"
See the Gnome Date Time Format Specifiers for details of the format string.

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.