Ver Mensaje Individual
  #9 (permalink)  
Antiguo 17/10/2007, 05:32
aeb_asturias
 
Fecha de Ingreso: marzo-2004
Mensajes: 550
Antigüedad: 20 años, 9 meses
Puntos: 7
Re: Tuberias (pipes) bash linux

Muchas gracias.

He probado la opción que me dabas:

cat id.txt | xargs kill

Y me funciono a la primera.


Me has quitado un quebradero de cabeza.


Saludos y gracias por todo