文件操作 - extensions.page

文件: /usr/share/help/es/system-admin-guide/extensions.page

编辑文件内容

<?xml version="1.0" encoding="utf-8"?>
<page xmlns="http://projectmallard.org/1.0/" xmlns:its="http://www.w3.org/2005/11/its" type="topic" style="task" id="extensions" xml:lang="es">

<credit type="author copyright">
 <name>Petr Kovar</name>
 <email>pknbe@volny.cz</email>
 <years>2013</years>
 </credit>

<desc>GNOME Shell extensions allow customizing the default GNOME Shell
 interface.</desc>
 
 <mal:credit xmlns:mal="http://projectmallard.org/1.0/" type="translator copyright">
 <mal:name>Daniel Mustieles</mal:name>
 <mal:email>daniel.mustieles@gmail.com</mal:email>
 <mal:years>2017</mal:years>
 </mal:credit>
 </info>

<title>¿Qué son las extensiones de GNOME Shell?</title>
 
 GNOME Shell extensions allow customizing the default GNOME Shell interface
 and its parts, such as window management and application launching.
 
 Each GNOME Shell extension is identified by a unique identifier, the uuid.
 The uuid is also used for the name of the directory where an extension is
 installed. You can either install the extension per-user in
 <file>~/.local/share/gnome-shell/extensions/&lt;uuid&gt;</file>, or
 machine-wide in
 <file>/usr/share/gnome-shell/extensions/&lt;uuid&gt;</file>.
 
 To view installed extensions, you can use <app>Looking Glass</app>, GNOME
 Shell’s integrated debugger and inspector tool.
 
 <steps>
 <title>Ver las extensiones instaladas</title>
 <item>
 Press <keyseq type="combo"><key>Alt</key><key>F2</key></keyseq>,
 type in lg and press <key>Enter</key> to open
 <app>Looking Glass</app>.
 </item>
 <item>
 On the top bar of <app>Looking Glass</app>, click
 <gui>Extensions</gui> to open the list of installed extensions.
 </item>
 </steps>

</page>

文件操作 - extensions.page

文件: /usr/share/help/es/system-admin-guide/extensions.page

编辑文件内容

修改文件时间

删除文件