0243.html 2.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657
  1. <!DOCTYPE html>
  2. <html lang="en" xmlns="http://www.w3.org/1999/xhtml">
  3. <head>
  4. <title>How to Install Gnome Extensions</title>
  5. <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  6. <meta charset="UTF-8">
  7. <meta name="keywords" content="Linux,Debian,GNOME,Extensions,Customization,Dash To Panel,How To,Tutorial,i12bretro">
  8. <meta name="author" content="i12bretro">
  9. <meta name="description" content="How to Install Gnome Extensions">
  10. <meta name="viewport" content="width=device-width, initial-scale=1.0">
  11. <meta name="revised" content="08/22/2022 12:00:42 PM" />
  12. <link rel="icon" type="image/x-icon" href="includes/favicon.ico">
  13. <script type="text/javascript" src="https://code.jquery.com/jquery-3.5.1.min.js"></script>
  14. <script type="text/javascript" src="includes/js/steps.js"></script>
  15. <link href="css/steps.css" rel="stylesheet" type="text/css" />
  16. </head>
  17. <body>
  18. <div id="gridContainer">
  19. <div class="topMargin"></div>
  20. <div id="listName" class="topMargin">
  21. <h1>How to Install Gnome Extensions</h1>
  22. </div>
  23. <div></div>
  24. <div id="content">
  25. <ol>
  26. <li>Log into the Linux device</li>
  27. <li>Execute the following commands in a terminal:
  28. <div class="codeBlock"># install gnome tweaks utility<br />
  29. sudo apt update<br />
  30. sudo apt install gnome-tweaks<br />
  31. # create the extensions directory<br />
  32. mkdir /.local/share/gnome-shell/extensions -p<br />
  33. # output the gnome shell version<br />
  34. gnome-shell --version</div>
  35. </li>
  36. <li>Open a web browser and navigate to https://extensions.gnome.org/</li>
  37. <li>Search for an extension to install and select it</li>
  38. <li>From the Shell version... dropdown select the closest version to the installed gnome shell version output earlier</li>
  39. <li>Select the latest version available from the Extension version... dropdown</li>
  40. <li>Save the extension .zip file </li>
  41. <li>Open a file manager and navigate to ~/Downloads</li>
  42. <li>Extract the downloaded extension .zip file</li>
  43. <li>Browse the extracted folder contents and edit metadata.json in a text editor</li>
  44. <li>Copy the value of UUID key</li>
  45. <li>Close the text editor</li>
  46. <li>Navigate back one directory</li>
  47. <li>Cut the entire extracted extension directory to ~/.local/share/gnome-shell/extensions/</li>
  48. <li>Restart Gnome Shell by logging out and logging back in</li>
  49. <li>Launch Gnome Tweaks</li>
  50. <li>Select Extensions from the left navigation menu</li>
  51. <li>The newly installed extension should be listed</li>
  52. <li>Enable the extension and enjoy</li>
  53. </ol> </div>
  54. </div>
  55. </body>
  56. </html>