mardi 19 juillet 2011

Gnome-Shell : Ouvrir une seconde application

Le fait de cliquer sur une icône de la barre Dash ouvre une application.

Si on re-clique sur la même icône, l'application déjà ouverte vient sur le dessus.

Pour ouvrir une seconde instance de la même application, il suffit de faire un clic-droit sur l'icône et de sélectionner "Nouvelle fenêtre".

Clic-droit sur l'icône de la barre Dash

vendredi 15 juillet 2011

gEdit

gEdit est l'éditeur de texte par défaut de Gnome.

Il se trouve dans les accessoires et pas dans les outils de programmation.
Pourtant, à l'aide de ses plugins, cet éditeur rivalise parfaitement avec un notepad++.

Par défaut, gEdit tient dans une simple fenêtre. On peut lui ajouter un panneau latéral (F9) qui permet de naviguer dans l'arborescence des fichiers ainsi qu'un panneau inférieur (CTRL+F9) qui peut contenir d'autres outils comme un terminal, une console python ou shell.

Site web de gEdit :


Sur ce site, toute l'information concernant gEdit, sa vie, ses bugs et ses plugins. C'est en anglais.

Paquets Archlinux :

Lorsque que vous installez Gnome, gEdit est installé avec.

Paquages : extra/gedit et community/gedit-plugins
Installation : pacman -S gedit gedit-plugins

Évidemment faites un dans AUR (tapez gedit dans la barre de recherche). Il y a quelques paquets intéressant pour booster gEdit. 

Attention, certains sont spécifiques à gEdit 2.

Activer un plugin :

Allez dans le menu Edition->Préférences. Les plugins sont dans l'onglet Greffons. L'installation du paquet gedit-plugins est indispensable.

Extension locale de gEdit :

Il est possible comme pour Emacs de créer localement un répertoire pour y mettre des plugins non intégré dans la source officielle, voir de créer ses propres plugins. L'opération est identique pour ajouter un langage (et sa coloration syntaxique) qui n'est pas prévu au départ (par exemple yaml).

 Ouvrir Nautilus (Fichiers dans la barre Dash). Affichez les fichiers cachés (CTRL+H, comme sous Gnome 2) et allez dans le répertoire .local/share qui sera appelé par la suite répertorie de base.
  • Étendre les plugins :
Dans le répertoire de base, si le répertoire gedit n'existe pas alors créez-le. Dans nautilus (clic-droit+ Créer nouveau dossier), allez dans le répertoire gedit et créez le répertoire plugins.
  •  Ajouter un langage:
Dans le répertoire de base, créez le répertoire gtksourceview-3.0 dans celui-ci  créez le répertoire language-specs. C'est dans ce répertoire que vous mettrez vos fichiers de langage.

Note : il est tout à fait possible de faire ces opérations en ligne de commande.

Ajouter le langage yaml :

Une différence avec notepad++, gedit ne supporte pas nativement la syntaxe yaml.

Le langage yaml se trouve ici :

Télécharger, le fichier yaml.lang et copiez le dans le répertoire language-specs

Lancez gEdit et la syntaxe yaml apparaît dans le menu Affichage->Mode de coloration->Others.

Exemple de coloration syntaxique yaml










Ajouter le plugin Favorites :

Ce plugin permet de mettre des fichiers en favori dans gEdit.


Récupérez l'archive et décompressez-là. Dans le répertoire .local/share/gedit/plugins/ copiez le répertoire favorites et le fichier favorites.plugin.

Relancez gEdit. Allez dans le menu Edition->Préférences et sélectionnez l'onglet Greffons. Activez Favorites.

Sur le panneau latéral (F9) de gedit, un onglet supplémentaire est apparu orné d'un cœur. Dans cet onglet, on peut créer des dossiers pour organiser les favoris. Cette organisation sera spécifique : c'est une façon de taguer et d'organiser des fichiers situées à des endroits très différents.

C'est un plus par rapport au plugin Signet même si ce dernier possède de très intéressantes fonctionnalités.

Plugin favorites dans gedit




dimanche 10 juillet 2011

Changer l'affichage de l'heure pour ajouter la date

L'affichage par défaut du shell gnome est un peu pauvre : seul le jour et l'heure sont affichés :
dim. 19:30

Pour ajouter la date, il suffit de taper dans un terminal :

gsettings set org.gnome.shell.clock show-date true

Ce qui fait que le jour, la date et l'heure sont visibles désormais :
dim. 10 juil.,19:30

Pour revenir à l'affichage initial : même commande passée avec le paramètre false.

D'autres astuces trouvées sur cette page :

http://www.tux-planet.fr/toutes-les-astuces-pour-gnome-shell/

samedi 14 mai 2011

Vidéo ARTE +7 : enfin !

Cela faisait des mois que j'attendais ce moment...

Lors de la dernière mise à jour du Adobe flashplugin 10.3.181.14-1 (dépôt Multilib pour les 64 bits), le lecteur vidéo d'Arte est enfin opérationnel sous Firefox et GNU/Linux sans rien faire d'autre.

Sans passer par un hypothétique plugin pour totem qui fut une plaie à installer pour finalement crasher le lecteur vidéo Totem dès qu'il fut activé.

Pour installer flashplugin : sudo pacman -S flashplugin

Ensuite, vérifier que dom.ipc.plugins.enabled est à true dans Mozilla Firefox sur la page about:config.

mardi 3 mai 2011

Impossible de monter une clef USB

Depuis deux jours, impossible de lire une clef USB. J'avais toujours ce mesage : "Error creating moint point: No such file or directory".


Après avoir fait des pages de forum, la solution s'est imposée : je n'avais plus de répertoire /media à la racine ! Je n'ai pas souvenir de l'avoir détruit. Mystère...

Il m'a suffit de le recréer en mode superutilisateur (root) pour pouvoir de nouveau lire mes clefs USB.

Avoir la version précédente d'un ou plusieurs paquet(s)

Lors du passage de Gnome 3 du dépôt testing à extra, je me suis retrouvé avec plusieurs paquets qui était dans une version plus récentes que celles des dépôts stables.

J'ai donc eu envie de remettre mon système d'aplomb. Sous Archlinux, cela se fait le plus simplement possible avec la commande :

pacman -Syuu

Au préalable, il faut avoir neutralisé les dépôts testing dans /etc/pacman.conf en les remettant en commentaire.

Pour en savoir plus :

http://wiki.archlinux.fr/Downgrade

lundi 2 mai 2011

Gnome 3 devient extra

Depuis le 1er mai 2011, Gnome 3 prend officiellement la place de Gnome 2 dans le dépôt extra de la distribution d'Archlinux.


Cela va entraîner des modifications, certaines importantes comme le passage obligatoire à Pulseaudio pour la gestion des sons et l'abandon d'une alternative proposé par Gnome 2.

Pour ma part, c'est plutôt une bonne nouvelle car cela m'a également permis de re-stabiliser ma distribution en désactivant les dépôts testing dans pacman.conf

Pour en savoir plus :

http://archlinux.fr/news/gnome3-dans-extra