I should stress that don’t have to use the command line to do this task If you install the GNOME Extension Preps tool you get access to the DING desktop extension’s full roster of settings via a GUI. However, in this instance I think the CLI is the quicker option. See More