Versione delle 11:58, 29 mag 2023 modifica 5.183.110.228 (discussione) →Comandi esterni Etichette: Annullato Modifica visuale ← Differenza precedente		Versione delle 11:59, 29 mag 2023 modifica annulla M7 (discussione \| contributi) Burocrati, Amministratori dell'interfaccia, Amministratori 87 220 modifiche m Annullate le modifiche di 5.183.110.228 (discussione), riportata alla versione precedente di Elwood Etichetta: Rollback Differenza successiva →
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:

File batch: differenze tra le versioni