Re: bash : "while :"

Top Page

Reply to this message
Author: Riquer Vincent (#343341)
Date:  
To: guilde
Subject: Re: bash : "while :"
anne aublanc wrote:
| bonjour,

|
| while :
| do
|         _end=`wc -l < "${_file}"`
|         _end="${_end##* }"
|         if (( ${_end} > ${_start} ))
|         then
|                 _start=$(($_start + 1 ))
|                 sed -n "${_start},${_end}p" "${_file}" | grep

"${_pat}" >>
| $LOG
|                 _start=${_end}
|         fi
|         sleep 1
| done

|
| Je n'arrive pas à comprendre ce que cela fait ce "while :"
| Le ":" correspond à quoi?


':' ne fait rien a part retourner la valeur 0 (vrai, en shell).
une ecriture plus lisible serait

while true
do
    <machins a faire>
done
|

| merci
| anne