Differences

This shows you the differences between two versions of the page.

--- gnome:extensions:vpn_indicator [2022/07/23 11:19] – [Create a extensions.js file] 194.32.120.99
+++ gnome:extensions:vpn_indicator [2022/07/23 11:25] (current) – 194.32.120.99
@@ Line 15: / Line 15: @@
 ===== Create a metadata.json file =====
-**metadata.json** is a required file of every extension.
+**metadata.json** is a mandatory file of the extension, containing information about the extension such as its UUID, name and description.
-  * It contains basic information about the extension such as its UUID, name and description.
 <file json metadata.json>
@@ Line 40: / Line 38: @@
 ===== Create a extensions.js file =====
-This is the core file of the extension and contains the function hooks **init()**, **enable()** and **disable()** used by GNOME Shell to load, enable and disable the extension.
+**extensions.js** is the core file of the extension and contains the function hooks **init()**, **enable()** and **disable()** used by GNOME Shell to load, enable and disable the extension.
-<file javascript metadata.json>
+<file javascript extensions.js>
 const St = imports.gi.St;
 const Main = imports.ui.main;
@@ Line 149: / Line 147: @@
 }
 </file>
+----
+===== Reload GNOME to pick up the extension =====
+Press **Alt+F2**, and enter **r** and press **ENTER** to restart GNOME Shell.
 ----