Ubuntu GNOME

  1. Bug #1551283
  2. Comment #27

Comment 27 for bug 1551283

Revision history for this message
Gunnar Hjalmarsson (gunnarhj) wrote :

On 2016-03-07 20:36, Gunnar Hjalmarsson wrote:
> "${XDG_CURRENT_DESKTOP##*:}" != 'GNOME' and
 "${XDG_CURRENT_DESKTOP%%:*}" != 'GNOME-Flashback'

Correction:

"${XDG_CURRENT_DESKTOP##*:}" != 'GNOME' -a "${XDG_CURRENT_DESKTOP%%:*}" != 'GNOME-Flashback'