salve
ho un file senza estensione come lo si lancia da console?