Comment 27 for bug 1551283

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'