/\/\@®¢Ø
30-05-2003, 17:46
Esiste un modo per fare il piping di qualcosa che non sia lo stdout ?
Tanto per capirsi qualcosa di simile alla redirezione di altri canali.
Quest'ultima la faccio con
command 2> result.txt
ma
command 2| less non funziona...
Tanto per capirsi qualcosa di simile alla redirezione di altri canali.
Quest'ultima la faccio con
command 2> result.txt
ma
command 2| less non funziona...