7 Fév
2006
7 Fév
'06
14:01
salut a tous, je n'ai pas trouvé dans la man de awk les équivalents des commandes zsh suivantes : users=( marc herve philippe ) users+=matts même si je sais que Vincent va me tomber dessus si c'est le cas, j'ose espérer que quelque chose m'aurait échappé dans la doc. Maintenant ... un langage qui ne possède pas de fonction sort ou grep ... cordialement mc