• # Petit détail

    Posté par (Mastodon) . En réponse au message Incompréhension des pipes sur Linux. Évalué à 9.

    Au tout début quand tu fais ton

    $cat > fichier.txt
    cool
    pas cool
    sympa
    pas sympa

    tu le finis par un violent CTRL-C (tu tues la commandes cat). tu devrais plutôt le finir par un CTRL-D qui est une fin de fichier qui dira donc à cat "c'est bon c'est fini !".

    perso c'est d'ailleurs avec un CTRL-D que je ferme mes terminaux ("fin des commandes").

    En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.