Differences

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

--- gnome:extensions:vpn_indicator [2022/07/23 11:19] – [Create a metadata.json file] 194.32.120.99
+++ gnome:extensions:vpn_indicator [2022/07/23 11:25] (current) – 194.32.120.99
@@ Line 38: / 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 147: / Line 147: @@
 }
 </file>
+----
+===== Reload GNOME to pick up the extension =====
+Press **Alt+F2**, and enter **r** and press **ENTER** to restart GNOME Shell.
 ----