Index: gnome/platform/gnome-shell.xml
===================================================================
--- gnome/platform/gnome-shell.xml (revision 8d112a1c32e1984110270ebb68afa7cbd9857ed0)
+++ gnome/platform/gnome-shell.xml (revision 9789629b2cfc27cdf2d09c8dc6d3c130f7a20f68)
@@ -91,4 +91,5 @@
Recommended
+ ,
,
, and
@@ -160,12 +161,19 @@
-
+ Command Explanations
-
+ sed -i ...: This command allows the GDM greeter to
use a keyboard layout taken from the dconf database instead of a default
US qwerty one.
+
+
+ : Do not build the
+ gnome-extensions CLI tool. Using this option removes
+ the need for .
+
+