Changeset dc12c75

Timestamp:

07/25/2014 07:10:28 AM (10 years ago)

Author:

Christopher Gregory <cjg@…>

Branches:

systemd-11177

Children:

9e6a5d4b

Parents:

74ba4239

Message:

Completed gnome-shell page.

git-svn-id: svn://svn.linuxfromscratch.org/BLFS/branches/systemd@13637 af4574ff-66df-0310-9fd7-8a98e5e911e0

Files:

• general.ent (modified) (1 diff)
• gnome-systemd/desktop/gnome-shell.xml (modified) (7 diffs)

general.ent

@@ -1 +1 @@
 <!-- $LastChangedBy$ $Date$ -->
 
-<!ENTITY day          "24">                   <!-- Always 2 digits -->
+<!ENTITY day          "25">                   <!-- Always 2 digits -->
 <!ENTITY month        "07">                   <!-- Always 2 digits -->
 <!ENTITY year         "2014">

gnome-systemd/desktop/gnome-shell.xml

@@ -11 +11 @@
   <!ENTITY gnome-shell-md5sum        "28a8f52ff3554bfbc7bc2b48cc832378">
   <!ENTITY gnome-shell-size          "1.5 MB">
-  <!ENTITY gnome-shell-buildsize     "50 MB">
-  <!ENTITY gnome-shell-time          "0.6 SBU">
+  <!ENTITY gnome-shell-buildsize     "77 MB">
+  <!ENTITY gnome-shell-time          "0.8 SBU">
 ]>
 
@@ -132 +132 @@
     </para>
 
-<screen><userinput>./configure --prefix=/usr \
-            --sysconfdir=/etc \
-            --libexecdir=/usr/lib/gnome-shell --enable-systemd &amp;&amp;
+<screen><userinput>./configure --prefix=/usr &amp;&amp;
 make</userinput></screen>
 
@@ -167 +165 @@
       <seglistitem>
         <seg>
-          gnome-shell, gnome-shell-extension-prefs and gnome-shell-extension-tool and
-          gnome-shell-pref-tool
+          gnome-shell, gnome-shell-extension-prefs, gnome-shell-extension-tool,
+          and gnome-shell-perf-tool
         </seg>
        <seg>
@@ -175 +173 @@
         <seg>
           /usr/lib/gnome-shell,
-          /usr/share/gnome-shell and
-          /usr/share/gtk-doc/html/shell
+          /usr/share/gnome-shell,
+          /usr/share/gtk-doc/html/shell, and
+          /usr/share/gtk-doc/html/st
         </seg>
       </seglistitem>
@@ -199 +198 @@
       </varlistentry>
 
-<!--      <varlistentry id="gnome-shell-extension-prefs">
+      <varlistentry id="gnome-shell-extension-prefs">
         <term><command>gnome-shell-extension-prefs</command></term>
         <listitem>
           <para>
-            does this .....
+            Is a tool used to configure <application>GTK</application>
+            widgets preferences.
           </para>
           <indexterm zone="gnome-shell gnome-shell-extension-prefs">
@@ -215 +215 @@
         <listitem>
           <para>
-            does this .....
+            Is an interactive extension creator command line tool.
           </para>
           <indexterm zone="gnome-shell gnome-shell-extension-tool">
@@ -221 +221 @@
           </indexterm>
         </listitem>
-      </varlistentry> -->
+      </varlistentry>
 
     </variablelist>