File batch: differenze tra le versioni

Versione delle 16:37, 23 apr 2023

Versione delle 11:56, 29 mag 2023

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>

* <code>diskcopy.com</code>