File batch: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
→Comandi esterni: jewvbhisbve\ Etichette: Annullato Modifica visuale |
→Esempi: più sensato Etichette: Modifica da mobile Modifica da web per mobile |
||
| (12 versioni intermedie di 8 utenti non mostrate) | |||
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:
* <code>robocopy.exe</code>
* <code>diskcopy.com</code>
Riga 157 ⟶ 156:
:UNO
echo.
echo Anche
goto TRE
Riga 187 ⟶ 186:
== Collegamenti esterni ==
* {{FOLDOC|batch file|batch file}}
* {{cita web|lingua=en|url=https://learn.microsoft.com/en-us/previous-versions/windows/it-pro/windows-xp/bb490869(v%3dtechnet.10)|titolo=Using batch files|editore=[[Microsoft]]|data=11 settembre 2009}}
| |||