Io uso i file batch a volte quando usavo Windows perché risparmia un sacco di tempo quando è necessario eseguire un gruppo di comandi frequentemente. Con un file batch, si salvano tutti i comandi in un unico file, e si esegue solo il file batch, invece del gazillione di comandi individualmente.
Si stava affrontando la stessa situazione in Mac OSX quando mi sono reso conto che non sapevo come creare un file batch in Mac OSX. Si è scoperto che è abbastanza facile. Mac OSX è basato su unix, quindi potrei usare l’equivalente unix (che si chiama anche script). Quello che devi fare è mettere tutti i comandi che vuoi in un documento di testo semplice, e salvarlo con un nome (preferibilmente senza l’estensione .txt, ma non importa…sembra più giusto così).
In Windows, questo è tutto quello che devi fare, ma per il Mac, dovrai assicurarti di modificare i permessi del tuo file batch in modo che sia eseguibile. Così, per esempio, se il tuo file batch si chiama batchfile, un modo per cambiare i suoi permessi è quello di fare clic con il tasto destro su di esso, fare clic su “Mostra informazioni”, e poi cambiare i permessi sotto “Permessi” per mostrare 755.
Quello che 755 fa è dare permessi di 7 a te, 5 al tuo gruppo di utenti, e 5 a tutti gli altri. Con un permesso di 7, puoi scrivere sul file ed eseguirlo. Con un permesso di 5, puoi eseguire il file ma non scriverci.
Un altro modo per cambiare i permessi del file è andare in Terminale, e inserire questo comando che cambia i permessi. Dovrai essere nella directory in cui si trova batchscript perché il seguente comando funzioni (o dovrai specificare il suo percorso completo):
chmod 755 batchscript
Ora per eseguire il tuo file batch, devi solo specificare il percorso completo del file batch, o se sei già nella directory dove si trova, puoi digitare:
./batchscript
Nota che devi mettere il “./” davanti al nome del file, per dire a Terminal di cercare il file nella directory corrente.
E con questo, avrai un file batch funzionante in Mac OSX!