On Tue, Oct 09, 2001 at 11:05:41AM +0200, Roberto Zanasi wrote: > Non so bene cosa sia il protocollo "pnm", ma non c'e' modo, anche senza > wget, con qualche altra utility, di scaricarsi quel file? Non che io sappia. trplayer, che puo` playare quella risorsa, non mi pare la possa salvare in un file, anche perche' usa RealPlayer, e Real - mi sembra - usa protocolli proprietari appunto per permettere a chi gestisce il server di *impedire* ai client di salvarsi i file.
Ciao, /dev/null

