Devo modificare una stringa di testo con un'altra in una quarantina di file (html); si trovano tutti nella stessa cartella. Qual'è il metodo migliore, senza editarli tutti a mano uno per uno? Uno script bash? -- Angelo B.