ソースを参照

0243: How to Install Gnome Extensions

i12bretro 4 年 前
コミット
fec83163ab
1 ファイル変更111 行追加0 行削除
  1. 111 0
      0243.html

+ 111 - 0
0243.html

@@ -0,0 +1,111 @@
+    <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+    <html lang="en" xmlns="http://www.w3.org/1999/xhtml">
+      <head>
+        <title>How to Install Gnome Extensions</title>
+        <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
+								<script type="text/javascript" src="https://code.jquery.com/jquery-3.5.1.min.js"></script>
+				        <script type="text/javascript">
+          $(function(){
+            $('textarea').each(function(i,e){
+              theTextarea = $(this);
+              theTextarea.height((theTextarea[0].scrollHeight-5) +'px');
+            });
+
+            $('li').each(function(i,e){
+              var uuid = 'li_' + Math.floor(Math.random() * Math.floor(1000000)).toString() + '_' + i.toString();
+              $(this).contents().wrap('<span id="'+ uuid +'"><label for="cb_'+ uuid +'"></label></span>');
+              $(this).prepend('<input type="checkbox" class="completeBox" id="cb_' + uuid +'" rel="'+ uuid +'" />')
+            });
+
+            $('code,div.codeBlock,textarea.codeBlock').each(function(i,e){
+              theElement = $(this);
+              var lines = theElement.html().split("\n");
+              theElement.empty();
+              for(l=0;l<lines.length;l++){
+                if($.trim(lines[l]) != '' && $.trim(lines[l]).substr(0,1) != '#' && $.trim(lines[l]).indexOf(' #') == -1 && lines[l].substr(0, 4).toUpperCase() != 'REM '){
+									                  theElement.append('<input type="image" src="images/clipboard.png" value="" class="copy-text" rel="copy_'+ i +'_'+ l +'" data-clipboard-text="'+ lines[l].replace(/"/g, '&quot;') +'" /><span id="copy_'+ i +'_'+ l +'">'+ lines[l] +'</span>');
+									                } else {
+                  theElement.append(lines[l]);
+                }
+              }
+            });
+
+            $(document).on('click','input.copy-text',function(){
+              theButton = $(this);
+														$('input.copy-text').attr('src','images/clipboard.png');
+							              $('span.copy-animation,span.copy-animation-ps').removeClass('copy-animation copy-animation-ps');
+              try {
+                if($('#'+ theButton.attr('rel')).parent('div').hasClass('PS')){
+                  $('#'+ theButton.attr('rel')).addClass('copy-animation-ps');
+                } else {
+                  $('#'+ theButton.attr('rel')).addClass('copy-animation');
+                }
+                navigator.clipboard.writeText(theButton.data('clipboard-text').replace(/<[^>]*>?/gm, ''));
+																theButton.attr('src','images/clipboard_active.png');
+								              } catch(err) {
+              }
+              return false;
+            });
+
+            $(document).on('click','input.completeBox',function(){
+              theBox = $(this);
+              $('#'+ theBox.attr('rel')).addClass('strikethrough');
+              theBox.prop('disabled',true);
+              theBox.parent('li').prevAll().each(function(i,e){
+                theLI = $(this);
+                if(theLI.find('input[type=checkbox]').not(':checked')){
+                  $('#'+ theLI.find('input[type=checkbox]').attr('rel')).addClass('strikethrough');
+                  theLI.find('input[type=checkbox]').prop('checked',true).prop('disabled',true);
+                }
+              });
+            });
+
+            if(window.self !== window.top){
+															window.parent.$('iframe.stepsFrame').height((this['scrollingElement']['scrollHeight']+20) +'px');
+							            }
+          });
+        </script>
+        <link href="css/steps.css" rel="stylesheet" type="text/css" />
+      </head>
+      <body>
+        <div id="gridContainer">
+          <div class="topMargin"></div>
+          <div id="listName" class="topMargin">
+            <h1>How to Install Gnome Extensions</h1>
+          </div>
+          <div></div>
+          <div id="content">
+          <ol>
+	<li>Log into the Linux device</li>
+	<li>Execute the following commands in a terminal:
+	<div class="codeBlock"># install gnome tweaks utility<br />
+	sudo apt update<br />
+	sudo apt install gnome-tweaks<br />
+	# create the extensions directory<br />
+	mkdir&nbsp;~/.local/share/gnome-shell/extensions<br />
+	# output the gnome shell version<br />
+	gnome-shell --version</div>
+	</li>
+	<li>Open a web browser and navigate to https://extensions.gnome.org/</li>
+	<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&nbsp;</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>
+	<li>Copy the value of UUID key</li>
+	<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 &gt; Type r &gt; Press Enter</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>
+        </div>
+      </body>
+    </html>
+