|
@@ -4,10 +4,11 @@
|
|
|
<title>How to Install Gnome Extensions</title>
|
|
|
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
|
|
|
<meta charset="UTF-8">
|
|
|
- <meta name="keywords" content="Linux,Debian,GNOME,Extensions,Customization,Dash to panel,How to,i12bretro,Tutorial">
|
|
|
+ <meta name="keywords" content="Linux,Debian,GNOME,Extensions,Customization,Dash To Panel,How To,Tutorial,i12bretro">
|
|
|
<meta name="author" content="i12bretro">
|
|
|
<meta name="description" content="How to Install Gnome Extensions">
|
|
|
<meta name="viewport" content="width=device-width, initial-scale=1.0">
|
|
|
+ <meta name="revised" content="08/22/2022 12:00:42 PM" />
|
|
|
<link rel="icon" type="image/x-icon" href="includes/favicon.ico">
|
|
|
<script type="text/javascript" src="https://code.jquery.com/jquery-3.5.1.min.js"></script>
|
|
|
<script type="text/javascript" src="includes/js/steps.js"></script>
|
|
@@ -28,7 +29,7 @@
|
|
|
sudo apt update<br />
|
|
|
sudo apt install gnome-tweaks<br />
|
|
|
# create the extensions directory<br />
|
|
|
- mkdir ~/.local/share/gnome-shell/extensions<br />
|
|
|
+ mkdir /.local/share/gnome-shell/extensions -p<br />
|
|
|
# output the gnome shell version<br />
|
|
|
gnome-shell --version</div>
|
|
|
</li>
|
|
@@ -36,7 +37,7 @@
|
|
|
<li>Search for an extension to install and select it</li>
|
|
|
<li>From the Shell version... dropdown select the closest version to the installed gnome shell version output earlier</li>
|
|
|
<li>Select the latest version available from the Extension version... dropdown</li>
|
|
|
- <li>Save the extension .zip file </li>
|
|
|
+ <li>Save the extension .zip file </li>
|
|
|
<li>Open a file manager and navigate to ~/Downloads</li>
|
|
|
<li>Extract the downloaded extension .zip file</li>
|
|
|
<li>Browse the extracted folder contents and edit metadata.json in a text editor</li>
|
|
@@ -44,13 +45,12 @@
|
|
|
<li>Close the text editor</li>
|
|
|
<li>Navigate back one directory</li>
|
|
|
<li>Cut the entire extracted extension directory to ~/.local/share/gnome-shell/extensions/</li>
|
|
|
- <li>Restart Gnome Shell by pressing ALT+F2 > Type r > Press Enter</li>
|
|
|
+ <li>Restart Gnome Shell by logging out and logging back in</li>
|
|
|
<li>Launch Gnome Tweaks</li>
|
|
|
<li>Select Extensions from the left navigation menu</li>
|
|
|
<li>The newly installed extension should be listed</li>
|
|
|
<li>Enable the extension and enjoy</li>
|
|
|
-</ol>
|
|
|
- </div>
|
|
|
+</ol> </div>
|
|
|
</div>
|
|
|
</body>
|
|
|
</html>
|