Depuis un moment, je reproche au terminal de Gnome sa lourdeur. Je travaille tous les jours avec plusieurs terminaux / onglets ouverts et au bout d’un certain temps il n’est pas rare que le terminal occupe 200 à 300 Mo de RAM, en plus d’être assez lent, il est gourmand Après avoir lu l’excellent article …