A half-baked solution is to use a GNOME shell extension called MultiClock. Its limitations are:
Only one extra clock
Very limited number of time-zones to choose from (more can be added editing its source, see below)
This extension depends on the gir1.2-gnomedesktop-3.0 package, install it first (if not installed already) by running
sudo apt install gir1.2-gnomedesktop-3.0
How to install the extension
You can install the extension by clicking on the ON/OFF toggle in this webpage (you may have to install the chrome-gnome-shell package and a browser add-on/extension suggested by the webpage first).
How to add more time-zones for selection
Open the ~/.local/share/gnome-shell/extensions/[email protected]/extension.js file with a text-editor, for example run
A half-baked solution is to use a GNOME shell extension called MultiClock. Its limitations are:
This extension depends on the
gir1.2-gnomedesktop-3.0
package, install it first (if not installed already) by runningHow to install the extension
You can install the extension by clicking on the ON/OFF toggle in this webpage (you may have to install the
chrome-gnome-shell
package and a browser add-on/extension suggested by the webpage first).How to add more time-zones for selection
Open the
~/.local/share/gnome-shell/extensions/[email protected]/extension.js
file with a text-editor, for example runIn the
Timezones
section (line number 22) add your preferred time-zone following the format of the default ones, e.g.(Google the correct
tzname
for your preferred time-zone)Save the file.
Log out and log in again.