11.04.2013 Views

Guida avanzata di scripting Bash - Portale Posta DMI

Guida avanzata di scripting Bash - Portale Posta DMI

Guida avanzata di scripting Bash - Portale Posta DMI

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

mktemp<br />

make<br />

install<br />

Miscellanea<br />

Capitolo 12. Filtri, programmi e coman<strong>di</strong> esterni<br />

Crea un file temporaneo 7 con nome “univoco”. Invocata da riga <strong>di</strong> comando senza alcun argomento,<br />

crea un file vuoto (lunghezza zero) nella <strong>di</strong>rectory /tmp.<br />

bash$ mktemp<br />

/tmp/tmp.zzsvql3154<br />

PREFISSO=nomefile<br />

tempfile=‘mktemp $PREFISSO.XXXXXX‘<br />

# ^^^^^^ Occorrono almeno 6 posti per<br />

#+ il suffisso del nome del file.<br />

# Se non viene in<strong>di</strong>cato nessun nome <strong>di</strong> file,<br />

#+ viene usato "tmp.XXXXXXXXXX" come nome <strong>di</strong> default.<br />

echo "nome del file temporaneo = $tempfile"<br />

# nome del file temporaneo = nomefile.QA2ZpY<br />

# o qualcosa del genere...<br />

# Crea un file con quel nome nella <strong>di</strong>rectory <strong>di</strong> lavoro corrente<br />

#+ con impostazione dei permessi a 600.<br />

# "umask 177" <strong>di</strong>venta, quin<strong>di</strong>, inutile,<br />

# sebbene il suo uso sia sempre una buona pratica <strong>di</strong> programmazione.<br />

Utility per costruire e compilare pacchetti binari. Può anche essere usata per una qualsiasi serie <strong>di</strong><br />

operazioni che devono essere eseguite a seguito <strong>di</strong> successive mo<strong>di</strong>fiche nei file sorgenti.<br />

Il comando make verifica Makefile, che è un elenco <strong>di</strong> <strong>di</strong>pendenze ed operazioni che devono<br />

essere svolte.<br />

Comando speciale per la copia <strong>di</strong> file. È simile a cp, ma in grado <strong>di</strong> impostare i permessi e gli<br />

attributi dei file copiati. Questo comando sembra fatto su misura per l’installazione <strong>di</strong> pacchetti<br />

software e come tale appare frequentemente nei Makefile (nella sezione make install).<br />

Potrebbe essere usato allo stesso modo in script d’installazione.<br />

294

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!