Changeset 7263570e
- Timestamp:
- 07/25/2014 07:10:28 AM (10 years ago)
- Branches:
- 7.6-blfs, 7.6-systemd, kde5-14269, kde5-14686, systemd-13485
- Children:
- b6cce86
- Parents:
- 75d2d6f
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
general.ent
r75d2d6f r7263570e 1 1 <!-- $LastChangedBy$ $Date$ --> 2 2 3 <!ENTITY day "2 4"> <!-- Always 2 digits -->3 <!ENTITY day "25"> <!-- Always 2 digits --> 4 4 <!ENTITY month "07"> <!-- Always 2 digits --> 5 5 <!ENTITY year "2014"> -
gnome-systemd/desktop/gnome-shell.xml
r75d2d6f r7263570e 11 11 <!ENTITY gnome-shell-md5sum "28a8f52ff3554bfbc7bc2b48cc832378"> 12 12 <!ENTITY gnome-shell-size "1.5 MB"> 13 <!ENTITY gnome-shell-buildsize " 50MB">14 <!ENTITY gnome-shell-time "0. 6SBU">13 <!ENTITY gnome-shell-buildsize "77 MB"> 14 <!ENTITY gnome-shell-time "0.8 SBU"> 15 15 ]> 16 16 … … 132 132 </para> 133 133 134 <screen><userinput>./configure --prefix=/usr \ 135 --sysconfdir=/etc \ 136 --libexecdir=/usr/lib/gnome-shell --enable-systemd && 134 <screen><userinput>./configure --prefix=/usr && 137 135 make</userinput></screen> 138 136 … … 167 165 <seglistitem> 168 166 <seg> 169 gnome-shell, gnome-shell-extension-prefs and gnome-shell-extension-tool and170 gnome-shell-pref-tool167 gnome-shell, gnome-shell-extension-prefs, gnome-shell-extension-tool, 168 and gnome-shell-perf-tool 171 169 </seg> 172 170 <seg> … … 175 173 <seg> 176 174 /usr/lib/gnome-shell, 177 /usr/share/gnome-shell and 178 /usr/share/gtk-doc/html/shell 175 /usr/share/gnome-shell, 176 /usr/share/gtk-doc/html/shell, and 177 /usr/share/gtk-doc/html/st 179 178 </seg> 180 179 </seglistitem> … … 199 198 </varlistentry> 200 199 201 <!--<varlistentry id="gnome-shell-extension-prefs">200 <varlistentry id="gnome-shell-extension-prefs"> 202 201 <term><command>gnome-shell-extension-prefs</command></term> 203 202 <listitem> 204 203 <para> 205 does this ..... 204 Is a tool used to configure <application>GTK</application> 205 widgets preferences. 206 206 </para> 207 207 <indexterm zone="gnome-shell gnome-shell-extension-prefs"> … … 215 215 <listitem> 216 216 <para> 217 does this .....217 Is an interactive extension creator command line tool. 218 218 </para> 219 219 <indexterm zone="gnome-shell gnome-shell-extension-tool"> … … 221 221 </indexterm> 222 222 </listitem> 223 </varlistentry> -->223 </varlistentry> 224 224 225 225 </variablelist>
Note:
See TracChangeset
for help on using the changeset viewer.