Colorer différemment le background de vos sessions SSH

  • posts
  • 3 minutes de lecture
Configuration permettant de colorer de manière différente le background des sssions SSH : utile par exemple pour différencier les environnements entre PRODUCTION et PRE-PRODUCTION, ou LOCAL et REMOTE.

Choix du workspace Eclipse à utiliser au démarrage via un launcher interactif (Linux)

  • posts
  • 2 minutes de lecture
Comme je travaille avec plusieurs workspaces Eclipse (regroupant chaque plusieurs projets Eclipse corrélés entre eux, par ex. tous les modules d’un même projet, ou tous mes projets personnels Java ou PHP, ou tous mes projets de tests, etc.), il est beaucoup plus pratique pour moi de choisir le workspace sur lequel je veux travailler directement en démarrant Eclipse (plutôt que de switcher après coup). De fait, tous mes raccourcis Eclipse pointent en fait sur le script ci-dessous.