Cette solution ne marche pas non plus et est plus embettante pour moi :
- La redirection de stderr vers /dev/null ne fonctionne pas. Ta solution est valable en bash, pas en csh (je sais csh ça ne roxe pas, mais je dois faire avec !)
- C'est expliqué plus bas : jobs n'écrit pas sur la sortie standard en csh, il est donc impossible de faire un pipe à la suite pour en traiter les info.
Merci tout de même pour l'intérêt que tu portes à mon problème (je n'ai généralement que des problèmes insolvables, ça en devient pénible...)
[^] # Re: jobs
Posté par mekare . En réponse au message CSH : nombre de jobs. Évalué à 1.
- La redirection de stderr vers /dev/null ne fonctionne pas. Ta solution est valable en bash, pas en csh (je sais csh ça ne roxe pas, mais je dois faire avec !)
- C'est expliqué plus bas : jobs n'écrit pas sur la sortie standard en csh, il est donc impossible de faire un pipe à la suite pour en traiter les info.
Merci tout de même pour l'intérêt que tu portes à mon problème (je n'ai généralement que des problèmes insolvables, ça en devient pénible...)