File gnome-shell-disable-ibus-when-not-installed.patch of Package gnome-shell

diff -Nura gnome-shell-3.20.3/js/misc/ibusManager.js gnome-shell-3.20.3_new/js/misc/ibusManager.js
--- gnome-shell-3.20.3/js/misc/ibusManager.js	2015-11-05 13:55:13.000000000 +0000
+++ gnome-shell-3.20.3_new/js/misc/ibusManager.js	2016-08-10 08:58:04.686046644 +0000
@@ -44,6 +44,10 @@
     _PRELOAD_ENGINES_DELAY_TIME: 30, // sec
 
     _init: function() {
+        let daemon = Gio.File.new_for_path('/usr/bin/ibus-daemon');
+        if (!daemon.query_exists(null))
+            return;
+
         if (!IBus)
             return;