Le Garage hermétique - LanceursCe site est essentiellement consacré à Gnome Shell mais pas que.2014-10-27T14:57:11+00:00urn:md5:46eb464ea3681cc98cb48a5d5e49f1d0DotclearExtension 437 : MyLauncherurn:md5:c78918cc3c9011662effceeabcc1da822012-09-05T08:43:00+01:002012-10-09T04:21:34+01:00Major GrubertLanceursGnome 3.4Gnome 3.6lanceurspanneau principalraccourcisite Gnome <p>Ajoute au panneau principal (à droite) un menu personnalisable pouvant contenir des raccourcis vers des applications, des répertoires ou des actions comme recharger l'interface, etc. Un clic droit sur le menu permet d'accéder à la personnalisation (qui ne passe pas par gnome-shell-extension-prefs mais par une édition du fichier .JS de l'extension).</p>
<p><img src="http://major.grubert.free.fr/public/Extensions/Extension437.png" alt="Extension437.png" style="display:block; margin:0 auto;" title="Extension437.png, sept. 2012" /></p>
<p><a href="https://extensions.gnome.org/extension/437/mylauncher/">L'extension sur le site Gnome</a></p>Extension 115 : Favorites Menuurn:md5:29bebe27a7b4cb46207331649f245fdf2012-06-25T20:59:00+01:002013-04-21T19:10:17+01:00Major GrubertLanceursGnome 3.4Gnome 3.6Gnome 3.8lanceurspanneau principalsite Gnome <p>Ajoute à droite du menu 'activités' un menu pour accéder à vos applications favorites (celles présentes dans le lanceur visible dans le mode 'exposition') sans passer par le mode 'exposition'.</p>
<p><a href="http://major.grubert.free.fr/public/Extensions/Extension115.png" title="Extension115.png"><img src="http://major.grubert.free.fr/public/Extensions/.Extension115_m.jpg" alt="Extension115.png" style="display:block; margin:0 auto;" title="Extension115.png, juin 2012" /></a></p>
<p>Pour ajouter ou enlever une entrée au menu, il faut ajouter ou enlever le lanceur des applications favorites.</p>
<p><a href="https://extensions.gnome.org/extension/115/favorites-menu/">L'extension sur le site Gnome</a></p>Extension 57 : WWWDOTORG Quick Launchurn:md5:93cd1324225e1501b8de4b24c87b7ce82012-06-25T17:53:00+01:002012-12-03T17:05:43+00:00Major GrubertLanceursGnome 3.4Gnome 3.6lanceurspanneau principalsite Gnome <p>Ajoute au panneau principal, à gauche du menu 'activités' , des lanceurs pour les applications que vous avez choisies.</p>
<p><a href="http://major.grubert.free.fr/public/Extensions/Extension57.png" title="Extension57.png"><img src="http://major.grubert.free.fr/public/Extensions/.Extension57_m.jpg" alt="Extension57.png" style="display:block; margin:0 auto;" title="Extension57.png, juin 2012" /></a></p>
<p>Pour ajouter des lanceurs, rechercher les lanceurs de vos applications dans le répertoire /etc/share/applications/ et copiez-les dans le répertoire ~/.local/user/quicklaunch/</p>
<p><a href="https://extensions.gnome.org/extension/57/wwwdotorg-quick-launch/">L'extension sur le site Gnome</a></p>Extension 37 : QuickLaunchurn:md5:e7204b7d71a16997d0449d6ce16444702012-06-25T13:21:00+01:002013-07-15T05:52:04+01:00Major GrubertLanceursGnome 3.4Gnome 3.6Gnome 3.8lanceurspanneau principalsite Gnome <p>Ajoute au panneau principal, à droite dans la zone de notification, un menu par lequel vous pouvez lancer les applications que vous avez choisies.</p>
<p><img src="https://extensions.gnome.org/static/extension-data/screenshots/screenshot_37.png" alt="" /></p>
<p>Pour ajouter un raccourci à ce menu, chercher le raccourci de l'application dans /usr/share/applications/ et copier le dans ~/.local/user/apps. Vous devez relancer l'interface à chaque nouveau raccourci ajouté (ALT+F2, entrer r, valider).</p>
<p><a href="https://extensions.gnome.org/extension/37/quicklaunch/">L'extension sur le site Gnome</a></p>Extension 17 : Dockurn:md5:ccb25b2f44fb4d3c4e3655bbc5f958a52012-06-24T22:14:00+01:002012-09-17T17:22:20+01:00Major GrubertLanceursdockextension officielleGnome 3.4Gnome 3.6lanceurssite GnomeWebupd8 <p>Affiche un dock qui reprend les applications favorites plus celles en cours d'utilisation. Des paramètres sont disponibles.</p>
<p>Si vous choisissez l'installation par le site Gnome, il vous faut modifier le fichier .js de l'extension, situé dans le répertoire ~/.local/share/gnome-shell/extensions/ de l'extension.</p>
<p>Si vous choisissez l'installation par le dépôt Webupd8, suivez les instructions ci-dessous.</p>
<p>Par défaut le dock est à droite, il s'active au passage de la souris sur la partie qui reste visible (au centre de l'écran à droite) et se masque automatiquement :</p>
<p><a href="http://major.grubert.free.fr/public/Extensions/Extension17.png" title="Extension17.png"><img src="http://major.grubert.free.fr/public/Extensions/.Extension17_m.jpg" alt="Extension17.png" style="display:block; margin:0 auto;" title="Extension17.png, juin 2012" /></a></p>
<p>Les réglages du dock sont assez sommaires, ils existent néanmoins et sont accessibles par 'dconf Editor' si vous avez installé le paquet dconf-tools :
<code>sudo apt-get install dconf-tools</code> puis <code>dconf-editor</code></p>
<p>Naviguez jusqu'à org.gnome.shell.extensions.dock puis choisissez, entre autres, parmi :</p>
<ul>
<li><em>autohide</em> : à cocher ou décocher parle de lui-même (à noter que le dock ne pratique pas l'évitement des fenêtres)</li>
<li><em>position</em> : permet de mettre le dock à droite (par défaut) ou à gauche, exactement à la place des applications favorites de la vue "exposition" - à la différence que la taille des icônes favorites s'adapte au nombre d'icônes présentes alors que les icônes du dock ont toujours la même taille. À gauche le dock paraît mieux intégré à l'ensemble de l'interface qu'à droite, à mon avis</li>
<li><em>size</em> : pour régler la taille des icônes qui est fixe)</li>
</ul>
<p><a href="https://extensions.gnome.org/extension/17/dock/">L'extension sur le site Gnome</a>|<a href="http://www.webupd8.org/2012/03/official-gnome-shell-extensions-weather.html">L'extension dans le dépôt Webupd8</a></p>Extension 4 : Frippery Panel Favoritesurn:md5:f4f6785db964566995636bf6ac601cb22012-06-24T18:35:00+01:002013-05-21T11:41:29+01:00Major GrubertLanceursFripperyGnome 3.4Gnome 3.6Gnome 3.8lanceurlanceurspanneau principalsite GnomeUpUbuntu <p><em>Mis à jour le 16 novembre 2012.</em></p>
<p>Ajoute à droite du menu 'activités' des lanceurs correspondants à vos applications favorites (celles présentes dans le lanceur visible dans le mode 'exposition').</p>
<p><img src="http://major.grubert.free.fr/public/Extensions/Extension4.png" alt="Extension4.png" style="display:block; margin:0 auto;" title="Extension4.png, juin 2012" /></p>
<p>Pour ajouter ou enlever un de ces lanceurs, il faut ajouter ou enlever le lanceur des favoris.</p>
<p>La version pour Gnome 3.6 est aussi disponible dans le dépôt UpUbuntu.</p>
<p>Dans ce cas, pour installer cette extension, il faut :</p>
<ol>
<li>ajouter le dépôt de Upubuntu (l'ajout d'un dépôt comporte toujours un risque) par un : <code>sudo add-apt-repository ppa:upubuntu-com/gnome3.6</code></li>
<li>Mettre ensuite à jour les paquets disponibles par un : <code>sudo apt-get update</code></li>
<li>Installer l'extension par un : <code>sudo apt-get install panel-favorites-extension</code></li>
<li>Enfin activer l'extension par <a href="http://major.grubert.free.fr/index.php?post/2012/06/24/Gnome-Tweak-Tool">Gnome Tweak Tool</a> ou en passant par le <a href="https://extensions.gnome.org/local/">site Gnome</a> (même si elle ne vient pas du site, l'extension apparaît alors puisqu'installée sur votre système).</li>
</ol>
<p><a href="https://extensions.gnome.org/extension/4/panel-favorites/">L'extension sur le site Gnome</a>|<a href="http://www.upubuntu.com/2012/10/five-nice-gnome-shell-36-extensions-for.html" hreflang="en">L'extension dans le dépôt UpUbuntu</a></p>