File batch: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Comandi esterni: jewvbhisbve\
Riga 80:
I comandi esterni sono file di estensione [[Eseguibile EXE|.exe]], [[Eseguibile COM|.com]] o gli stessi file con estensione .bat o .cmd, che possono essere usati come comandi e chiamati (senza bisogno di scrivere l'estensione: scrivere diskcopy o diskcopy.com dà lo stesso risultato; esiste comunque una precedenza nel caso di file con nomi uguali ma estensioni diverse).
 
Ecco alcuni comandi esterni: è stato zicchina
 
* <code>robocopy.exe</code>