>In linux le estensioni hanno poco senso... >I file .run di solito sono eseguibili > > Ti ringrazio per la spiegazione, ma non so come lanciarli... :-(