• [^] # Re: Psssssssssss

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

    > Note qu'ici il y a quand même 20 000 entrées dans le répertoire je dois etre tres loin de ton /dev...

    $ ll /dev/ | wc -l
    7531
    $ find /dev/ | wc -l
    18763

    Voilà pour "mon" /dev.

    Essais mon exemple et donnes tes valeurs.

    Sinon j'ai pour ton exemple :
    $ time gnome-terminal -e "ls --color=auto -l"

    real 0m27.636s
    user 0m6.654s
    sys 0m0.659s
    $ time uxterm -e "ls --color=auto -l"

    real 0m16.112s
    user 0m2.558s
    sys 0m0.306s

    Mais
    $ time uxterm -e "ls --color=auto -l /dev"

    real 0m49.418s
    user 0m1.238s
    sys 0m0.248s
    $ time gnome-terminal -e "ls --color=auto -l /dev"

    real 0m6.242s
    user 0m2.107s
    sys 0m0.152s

    Et :
    $ time uxterm -e "find /dev"

    real 0m4.683s
    user 0m1.328s
    sys 0m0.147s
    $ time gnome-terminal -e "find /dev"

    real 0m2.951s
    user 0m1.363s
    sys 0m0.107s


    C'est bonnet blanc et blanc bonnet.

    > Ahma c'est surtout ton uxterm qui a un gros problème

    $ gnome-terminal --version
    Gnome gnome-terminal 2.6.0

    Ou alors tu as un gros problème avec ton GT.

    J'ai tout utilisé avec la configuration par défaut. Et xterm est favorisé car il utilise une police de caratère plus petite et pas d'anti-aliasing.