• [^] # Re: Time

    Posté par . En réponse au journal dash vs bash. Évalué à 2.

    Sous Debian Gnu time est un paquet independant et pratiquement aucun paquet ne depend de lui ( apt-cache rdepends time )