2009/11/23 Francesco Zanolin <francesco.zanolin@ingv.it>: > dovrebbe essere il comando tie Non era tee? -- Dario Pilori -Linux registered user #406515