la commande awk (1) est une variante de (ou partage sa page de man avec)
gawk
Vous allez être re-dirigé automatiquement vers la page de gawk
Si cette redirection automatique ne fonctionnait pas cliquer ici:
gawk
