Linux

Installer et configurer ArchLinux sur raspberry pi

  • posts
  • 11 minutes de lecture
Guide détaillant l’installation en remote (via VNC) d’un système archlinux sur Raspberry PI 1/2/3, puis toutes les opérations de post-configuration : gestion de la caméra, packages à installer, passage sous ZSH, optimisations, sécurisations, …

df customisé

  • posts
  • 3 minutes de lecture
La commande df, par défaut, ne permet pas de trier l’affichage par le point de montage. Dans certains cas, elle peut également faire figurer des chemins généralement inutiles (devicemappers, etc.). Cette fonction simple permet de reparamétrer la sortie, de procéder au tri, et de retirer les lignes inutiles.

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.