path: keyman_18.0.247-1/linux/keyman-config/keyman_config/gnome_keyboards_util.py
    if __is_gnome_desktop is None:
        code = os.system('pidof gnome-shell >/dev/null 2>&1')
        gnome_env = ('XDG_CURRENT_DESKTOP' in os.environ) and ('gnome' in os.environ['XDG_CURRENT_DESKTOP'].lower())
        __is_gnome_desktop = (code == 0) or gnome_env