Guida avanzata di scripting Bash - Portale Posta DMI

exit 0
+
Appendice A. Script aggiuntivi
James R. Van Zandt ha fornito questo script che fa uso delle named pipe ed è, parole sue, “vero esercizio
di quoting ed escaping”.
Esempio A-15. fifo: eseguire backup giornalieri utilizzando le named pipe
#!/bin/bash
# ==> Script di James R. Van Zandt, e qui usato con il suo permesso.
# ==> Commenti aggiunti dall’aurore del libro.
+
QUI=‘uname -n‘ # ==> hostname
LA=bilbo
echo "inizio di un backup remoto in $LA alle ‘date +%r‘"
# ==> ‘date +%r‘ restituisce l’ora nel formato 12-ore, cioè "08:08:34 PM".
# si accerta che /pipe sia veramente una pipe e non un file regolare
rm -rf /pipe
mkfifo /pipe # ==> Crea una "named pipe", di nome "/pipe".
# ==> ’su xyz’ esegue i comandi come utente "xyz".
# ==> ’ssh’ invoca secure shell (client per il login remoto).
su xyz -c "ssh $LA \"cat >/home/xyz/backup/${QUI}-daily.tar.gz\" < /pipe"&
cd /
tar -czf - bin boot dev etc home info lib man root sbin share usr var >/pipe
# ==> Impiaga la named pipe, /pipe, per la comunicazione tra processi:
# ==>+ ’tar/gzip’ scrive in /pipe e ’ssh’ legge da /pipe.
# ==> Il risultato finale è il backup delle principali directory,
# ==>+ da / in giù.
# ==> Quali sono i vantaggi di una "named pipe" in una situazione come
# ==>+ questa, contrapposti a quelli di una "pipe anonima", con |?
# ==> In questo caso funzionerebbe anche una pipe anonima?
exit 0
Questo script, inviato da Stéphane Chazelas, dimostra che si possono generare numeri primi senza
ricorrere agli array.
636