pipe nommé

loc. m.

Article lié à celui-ci : tube nommé.

[Unix] Un pipe (voir tube) est dit nommé quand les transferts d'informations se font via un fichier. En bon français, il faut dire tube nommé.

Articles voisins : Pio < PIO < pipe < pipeline < pipelining < pipe nommé > PIPT > piratage > pirate > pirater > pirateur .

Dern. modif. : 13-11-1999.

Avez-vous visité le JargonF nouveau et sa définition de pipe nommé ? Mettez à jour vos signets !