Eclipse 3.8 : couleur des infobulles sur Linux Mint 14

Sur mon Eclipse (sur Linux Mint), les infobulles apparaissaient en texte bleu marine sur fond gris foncé, autant dire que c’était dur à lire.

Pour choisir des couleurs plus contrastées, une des solutions est :

1) installer le paquet gnome-color-chooser

2) lancer gnome-color-chooser (en ligne de commande)

3) sélectionner l’onglet « Spécifique »

4) A la rubrique « Info-bulles », cocher « Premier plan » et « Arrière-plan » et y mettre les couleurs désirées. J’ai mis #000000 au premier plan, et #FFFFAF en arrière-plan

5) Relancer Eclipse le cas échéant

Comparer ligne à ligne deux fichiers triés

Une commande Linux qui peut rendre de fiers services : comm. Elle permet de comparer ligne à ligne deux fichiers, ces deux fichiers devant être déjà triés.

comm [-123] [--help] [--version] fichier_1 fichier_2

Par défaut la commande retourne 3 colonnes :

  • 1 : les lignes présentes dans le 1er fichier uniquement
  • 2 : les lignes présentes dans le 2ème fichier uniquement
  • 3 : les lignes communes aux deux fichiers

Les options 1 2 et 3 suppriment du retour les colonnes correspondantes. Par exemple, comm -12 fichier_1 fichier_2 n’affichera que les lignes communes aux deux fichiers.

Cinnamon

Vous aimez Linux, ces derniers temps vous avez testé Unity, vous avez testé Gnome-shell, vous n’avez pas aimé, ou avez utilisé à contrecoeur. Vous avez cherché des contournements comme tint2 pour retrouver une barre des tâches, utilisé les modes dégradés des différentes distributions, utilisé des environnements plus légers et un peu en retard, mais au fond de vous-même vous n’étiez toujours pas satisfait.

Ne cherchez plus, la solution s’appelle Cinnamon !!!

Avec Cinnamon dites adieu à la barre Unity et consorts. Vous allez retrouver une barre des tâches normale (avec un menu Démarrer, un bouton d’affichage du bureau, des raccourcis et les programmes ouverts, etc.), comme vous avez toujours connu, et rien d’autre. N’allez pas croire avec cette dernière phrase que je n’aime pas le changement, loin de là, mais pour moi, dans l’état actuel des choses et pour un ordinateur de bureau, qui n’est pas une tablette, rien ne vaut une barre des tâches traditionnelle, surtout lorsque le nombre de fenêtres ouvertes est important (dépasse 2 :-) )

Il me semble avoir lu que Cinnamon allait être intégré dans la prochaine Linux Mint 13, mais si vous souhaitez l’utiliser dès aujourd’hui sur Ubuntu 11.10 c’est tout à fait possible.

Installation sur Ubuntu 11.10 :

sudo add-apt-repository ppa:merlwiz79/cinnamon-ppa

sudo apt-get update

sudo apt-get install cinnamon

Sélection de Cinnamon au démarrage :

Comme pour tous les autres environnements, sur l’écran d’identification au démarrage il suffit de sélectionner « Cinnamon » une première fois.

Le menu Démarrer :

Le menu Démarrer ressemble beaucoup à celui de Windows 7 (en plus épuré toutefois). Par exemple si vous faites un clic droit sur une entrée, Cinnamon vous propose de l’ajouter en raccourci à la barre des tâches notamment.

Paramétrage :

Le menu Démarrer contient un raccourci vers le paramétrage de Cinnamon. On peut paramétrer par exemple :

  • Le texte à côté de l’icône du menu Démarrer
  • Cacher automatiquement la barre des tâches
  • Le format de l’heure / date
  • (Dés)activer l’affichage des miniatures lorsqu’on passe la souris en haut à gauche de l’écran
  • Ajouter / changer de thèmes (thèmes Cinnamon, thèmes de fenêtres, thèmes d’icônes, thèmes de curseurs…)
  • Etc. Vous verrez par vous-même, hein ;-)

Les effets de fenêtre

Cinnamon paramètre par défaut des effets visuels d’affichage / disparition des fenêtres qui sont un peu trop bling-bling à mon goût. Vous pouvez bien sûr totalement désactiver les effets de fenêtres à partir de l’écran de paramétrage de Cinnamon, mais vous pouvez aussi choisir vos effets parmi une liste assez impressionnante.

Voici mon paramétrage, si vous souhaitez des effets doux :

  • Closing windows – Fade – easeInSine – 300 ms
  • Mapping windows – Fade – easeInSine – 200 ms
  • Minimizing windows – Fade – easeInSine – 200 ms
  • Maximizing windows – None
  • Unmaximizing windows – None

Limitations :

Sur mon poste certaines entrées du menu Démarrer sont en anglais. Je ne sais pas si je suis un cas particulier.

Peu importe, chez moi Cinnamon est testé et approuvé. C’est simple, stable, beau, pratique, que demander de plus.

Cacher la barre de notifications de gnome-shell

Voilà une astuce qui va vous permettre de cacher la barre de notifications de gnome-shell. Je ne sais pas si c’est la méthode la plus conseillée, en tout cas celle-ci fonctionne : il suffit de réduire significativement la hauteur de la barre de notifications par le biais de ses propriétés d’affichage écrites en css :

En root, éditez le fichier /usr/share/gnome-shell/theme/gnome-shell.css

Trouvez la ligne #message-tray et modifiez sa propriété height. La valeur par défaut est 36px, il suffit de la remplacer par 1px.

Attention, ne mettez surtout pas 0px, cela aurait pour effet de faire planter le système… Qui eût cru qu’un simple fichier css aurait ce pouvoir ? :-)

Après, libre à vous d’utiliser un autre système de notifications, celui de tint2 par exemple, si comme moi vous trouvez que se passer de barre des tâches est une hérésie.

Remarque : je ne sais pas comment sont gérés les thèmes visuels sur gnome-shell, si vous avez installé un thème autre que celui proposé par défaut, le fichier css à modifier est peut-être différent.

Trier et dédoublonner avec gedit

Tout est dans le titre : gedit contient un greffon qui permet de :

  • trier les lignes d’un texte alphabétiquement (dans un sens ou dans l’autre)
  • supprimer les lignes en doublons

Le tri peut se faire sur la colonne de votre choix (on parle bien de colonne textuelle, ce n’est pas un tableur, les caractères séparateurs ne sont pas gérés non plus)

Attention toutefois, il n’est pas possible d’annuler une opération de tri.

Sympa de voir une telle fonctionnalité dans un éditeur aussi léger, ça peut éviter de lancer LibreOffice ;-)