diff options
| -rw-r--r-- | remote/onetime-fixes/rename-gnome-flashback-session | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/remote/onetime-fixes/rename-gnome-flashback-session b/remote/onetime-fixes/rename-gnome-flashback-session new file mode 100644 index 00000000..921db87e --- /dev/null +++ b/remote/onetime-fixes/rename-gnome-flashback-session @@ -0,0 +1,10 @@ +#!/bin/sh + +GNOME_FALLBACK_SESSION="/usr/share/xsessions/gnome-fallback.desktop" + +if [ -e "$GNOME_FALLBACK_SESSION" ]; then + sed -ibak 's,^Name=.*,Name=GNOME,' $GNOME_FALLBACK_SESSION +else + echo "Gnome session fallback not found under '$GNOME_FALLBACK_SESSION'. Is it installed?" + exit 1 +fi |