Switch default terminal

GNOME Terminal has been replaced with Ptyxis.

Resolves: https://issues.redhat.com/browse/RHEL-50571

gnome-shell-favourite-apps-terminal.patch

@@ -1,4 +1,4 @@
-From ff6a6c1ef9063b8e7e5ae7e48f712b07e2f8100f Mon Sep 17 00:00:00 2001
+From d4d39560f1694f06c3594f8d34eaa4b038804920 Mon Sep 17 00:00:00 2001
 From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
 Date: Thu, 9 Mar 2017 14:44:32 +0100
 Subject: [PATCH] appFavorites: Add terminal
@@ -8,7 +8,7 @@ Subject: [PATCH] appFavorites: Add terminal
  1 file changed, 1 insertion(+), 1 deletion(-)
 
 diff --git a/data/org.gnome.shell.gschema.xml.in b/data/org.gnome.shell.gschema.xml.in
-index bd2bd5ead8..3dd9d2d86b 100644
+index bd2bd5ead8..4827fa5b79 100644
 --- a/data/org.gnome.shell.gschema.xml.in
 +++ b/data/org.gnome.shell.gschema.xml.in
 @@ -61,7 +61,7 @@
@@ -16,7 +16,7 @@ index bd2bd5ead8..3dd9d2d86b 100644
      </key>
      <key name="favorite-apps" type="as">
 -      <default>[ 'org.mozilla.firefox.desktop', 'org.gnome.Calendar.desktop', 'org.gnome.Music.desktop', 'org.gnome.Nautilus.desktop', 'org.gnome.Software.desktop', 'org.gnome.TextEditor.desktop']</default>
-+      <default>[ 'org.mozilla.firefox.desktop', 'org.gnome.Calendar.desktop', 'org.gnome.Music.desktop', 'org.gnome.Nautilus.desktop', 'org.gnome.Software.desktop', 'org.gnome.Terminal.desktop', 'org.gnome.TextEditor.desktop']</default>
++      <default>[ 'org.mozilla.firefox.desktop', 'org.gnome.Calendar.desktop', 'org.gnome.Music.desktop', 'org.gnome.Nautilus.desktop', 'org.gnome.Software.desktop', 'org.gnome.Ptyxis.desktop', 'org.gnome.TextEditor.desktop']</default>
        <summary>List of desktop file IDs for favorite applications</summary>
        <description>
          The applications corresponding to these identifiers