search

Daniel-Khodabakhsh / datetime-format

Gnome extension which allows users to customise the datetime format on the status bar and date menu.
GNU General Public License v3.0
30 stars 15 forks source link

Restart not working #6

Open n8udd opened 6 years ago

n8udd commented 6 years ago

The instructions say:

Afterwards, restart gnome-shell by pressing Alt+F2, type in 'r', then press enter.

This doesn't restart gnome-shell for me, and instead starts Rhytmbox

Using Ubunutu 18.04

christofferholmstedt commented 6 years ago

I just tried with a fresh install of Ubuntu 18.04 and it does restart the gnome-shell for me. I did a "minimal" installation of Ubuntu so I suppose Rhytmbox isn't installed for me to hijack that shortcut.