ciao a tutti!
qualcuno mi sa dire con che comandi copio un file con un'estensione in un'altra (ad esempio da file.java in file.txt)
grazie