Server

Pour convertir un disque source au format .vmdk (format natif VMWare) vers le format VirtualBox (.vdi), il suffit d’utiliser la commande suivante.

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.