File batch: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Etichette: Annullato Modifica visuale |
→Esempi: più sensato Etichette: Modifica da mobile Modifica da web per mobile |
||
(7 versioni intermedie di 6 utenti non mostrate) | |||
Riga 78:
=== Comandi esterni ===
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:
Riga 156:
:UNO
echo.
echo Anche
goto TRE
Riga 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}}
|