• [^] # Re: Psssssssssss

    Posté par . En réponse au journal Linux est il gros et gras ?. Évalué à 0.

    avec uxterm en plein écran :
    $ time ls -l /dev
    [...]
    real 8m38.363s
    user 0m0.228s
    sys 0m0.181s

    Oui, plus de 8 minutes !

    avec gnome-terminal :
    $ time ls -l /dev
    [...]
    real 0m22.279s
    user 0m0.195s
    sys 0m0.079s

    avec find pour éviter les couleurs
    uxterm :
    $ time find /dev
    [...]
    real 0m10.839s
    user 0m0.009s
    sys 0m0.042s

    gnome-terminal :
    $ time find /dev
    [...]
    real 0m7.939s
    user 0m0.012s
    sys 0m0.067s

    Et je me demande si uxterm supporte l'anti-aliasing.