Nel dos utilizzo i file batch (.bat) Domande: 1. in linux esistono degli analoghi ? 2. con quale estensione vanno salvati perche' possano essere lanciati ? 3. i comandi da inserire sono quelli che si usano nel terminale ? mauro