GNU/Linux Desktop Survival Guide by Graham Williams
Desktop Survival Project Home Preface Advocacy History Distributions Windows Subsystem for Linux Installing GNU/Linux Basic Administration Wajig Artificial Intelligence and Machine Learning Audio Backup Booting Cameras CD Chinese ChRoot Clock Cloud Computing Command Line Databases DIA Directories Disks Emacs Email Evolution Files File Systems Firewalls Floppy Disks FreedomBox Fonts Ghemical Glade Gnome Graphics, Images, Photos Hardware Initialisations on Booting Installation Examples IOT Java KDE Kernels Keyboard Konqueror KVM Switch LaTeX Log System Login Magellan MATE Mathematics Memory Modems Mounting Devices MS/Windows Music MySQL Nautilus Networks NFS NT File System Oracle Packages Partitions Passwords PDF Power Management PPP Presentations Printing Python R Remote Desktops Rsync Samba Scanning Science Screens Security Sketch Spell SPlus Spruce Spreadsheet SSH SUDO Swap Teradata Data Warehouse Themes TV Unity USB Version Control Video Virtualization Voice over IP World Wide Web WebCam WordPress Web Sites Word Processing and Printing X XML Troubleshooting Index

CLICK HERE TO VISIT THE UPDATED SURVIVAL GUIDE

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.