File batch: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
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).
MAULU SEI TROPPO SCARSO PER SALIRE ASCENDANT
 
Ecco alcuni comandi esterni:
Riga 156:
:UNO
echo.
echo Anche ioper me!
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}}