19.2. Redirigere blocchi di codice

#!/bin/bash
# redir2.sh

if [ -z "$1" ]
then
  Nomefile=nomi.data        #  È il file predefinito, se non ne viene
                            #+ specificato alcuno.
else
  Nomefile=$1
fi
#+ Nomefile=${1:-nomi.data}
#  può sostituire la verifica precedente (sostituzione di parametro).

conto=0

echo

while [ "$nome" != Smith ]  #  Perché la variabile $nome è stata usata
                            #+ con il quoting?
do
  read nome                 # Legge da $Nomefile invece che dallo stdin.
  echo $nome
  let "conto += 1"
done <"$Nomefile"           # Redirige lo stdin nel file $Nomefile.
#    ^^^^^^^^^^^^

echo; echo "$conto nomi letti"; echo

exit 0

#  È da notare che, in alcuni linguaggi di scripting di shell più vecchi, il
#+ ciclo rediretto viene eseguito come una subshell.
#  Di conseguenza $conto restituirebbe 0, il valore di inizializzazione prima
#+ del ciclo.
#  Bash e ksh evitano l'esecuzione di una subshell "ogni qual volta questo sia
#+ possibile", cosicché questo script, ad esempio, funziona correttamente.
#  (Grazie a Heiner Steven per la precisazione.)

#  Tuttavia . . .
#  Bash, talvolta, *può* eseguire una subshell per un ciclo "while-read"
#+ posto dopo una PIPE, diversamente da un ciclo "while" REDIRETTO.

abc=hi
echo -e "1\n2\n3" | while read l
     do abc="$l"
        echo $abc
     done
echo $abc

#  Grazie a Bruno de Oliveira Schneider per averlo dimostrato
#+ con il precedente frammento di codice.
#  Grazie anche a Brian Onn per la correzione di un errore di notazione.

#!/bin/bash

# Questa è una forma alternativa dello script precedente.

#  Suggerito da Heiner Steven
#+ come espediente in quelle situazioni in cui un ciclo rediretto
#+ viene eseguito come subshell e, quindi, le variabili all'interno del ciclo
#+ non conservano i loro valori dopo che lo stesso è terminato.


if [ -z "$1" ]
then
  Nomefile=nomi.data      #  È il file predefinito, se non ne viene
                          #+ specificato alcuno.
else
  Nomefile=$1
fi  


exec 3<&0                   # Salva lo stdin nel descrittore di file 3.
exec 0<"$Nomefile"          # Redirige lo standard input.

conto=0
echo


while [ "$nome" != Smith ]
do
  read nome                 # Legge dallo stdin rediretto ($Nomefile).
  echo $nome
  let "conto += 1"
done                        #  Il ciclo legge dal file $Nomefile.
                            #+ a seguito dell'istruzione alla riga 21.

#  La versione originaria di questo script terminava il ciclo "while" con
#+      done <"$Nomefile"
#  Esercizio:
#  Perché questo non è più necessario?


exec 0<&3                   # Ripristina il precedente stdin.
exec 3<&-                   # Chiude il temporaneo df 3.

echo; echo "$conto nomi letti"; echo

exit 0

#!/bin/bash
# Uguale all'esempio precedente, ma con il ciclo "until".

if [ -z "$1" ]
then
  Nomefile=nomi.data          #  È il file predefinito, se non ne viene 
                              #+ specificato alcuno.
else
  Nomefile=$1
fi  

# while [ "$nome" != Smith ]
until [ "$nome" = Smith ]     # Il != è cambiato in =.
do
  read nome                   # Legge da $Nomefile, invece che dallo stdin.
  echo $nome
done <"$Nomefile"             # Redirige lo stdin nel file $Nomefile.
#    ^^^^^^^^^^^^

# Stessi risultati del ciclo "while" dell'esempio precedente.

exit 0

#!/bin/bash

if [ -z "$1" ]
then
  Nomefile=nomi.data           #  È il file predefinito, se non ne viene
                               #+ specificato alcuno.
else
  Nomefile=$1
fi

conta_righe=`wc $Nomefile | awk '{ print $1 }'`
#           Numero di righe del file indicato.
#
#  Elaborato e con diversi espedienti, ciò nonostante mostra che
#+ è possibile redirigere lo stdin in un ciclo "for" ...
#+ se si è abbastanza abili.
#
# Più conciso     conta_righe=$(wc -l < "$Nomefile")


for nome in `seq $conta_righe` #  Ricordo che "seq" genera una sequenza
                               #+ di numeri.
# while [ "$nome" != Smith ]   --  più complicato di un ciclo "while"  --
do
  read nome                    #  Legge da $Nomefile, invece che dallo stdin.
  echo $nome
  if [ "$nome" = Smith ]       #  Sono necessarie tutte queste istruzioni
                               #+ aggiuntive.
  then
      break
  fi
done <"$Nomefile"              #  Redirige lo stdin nel file $Nomefile.
#    ^^^^^^^^^^^^

exit 0

#!/bin/bash

if [ -z "$1" ]
then
  Nomefile=nomi.data             #  È il file predefinito, se non ne viene
                                 #+ specificato alcuno.
else
  Nomefile=$1
fi

Filereg=$Nomefile.nuovo          #  Nome del file in cui vengono salvati i
                                 #+ risultati.
NomeFinale=Jonah                 #  Nome per terminare la "lettura".

conta_righe=`wc $Nomefile | awk '{ print $1 }'` #  Numero di righe del file
                                                #+ indicato.

for nome in `seq $conta_righe`
do
  read nome
  echo "$nome"
  if [ "$nome" = "$NomeFinale" ]
  then
      break
  fi
done < "$Nomefile" > "$Filereg"  # Redirige lo stdin nel file $Nomefile,
#    ^^^^^^^^^^^^^^^^^^^^^^^^^^    e lo salva nel file di backup $Filereg.

exit 0

#!/bin/bash

if [ -z "$1" ]
then
  Nomefile=nomi.data    #  È il file predefinito, se non ne viene
                        #+ specificato alcuno.
else
  Nomefile=$1
fi

TRUE=1

if [ "$TRUE" ]          # vanno bene anche  if true   e   if :
then
 read nome
 echo $nome
fi <"$Nomefile"
#  ^^^^^^^^^^^^

#  Legge solo la prima riga del file.
#  Il costrutto "if/then" non possiede alcuna modalità di iterazione
#+ se non inserendolo in un ciclo.

exit 0

Aristotile
Belisario
Capablanca
Eulero
Goethe
Hamurabi
Jonah
Laplace
Maroczy
Purcell
Schmidt
Semmelweiss
Smith
Turing
Venn
Wilson
Znosko-Borowski

#  Questo è il file dati per
#+ "redir2.sh", "redir3.sh", "redir4.sh", "redir4a.sh", "redir5.sh".