• [^] # Re: zsh + grep

    Posté par . En réponse au journal il est minuit 4. Évalué à 3.

    Justement, tu n'as pas à t'occuper de gérer à la main les différents formats (pour les articles: pdf, dvi, formats "bureautiques", etc ...)