whileループ後の左角カッコはbashで何を意味しますか？

Question

次はRHELの/etc/init.d/functionsにあります。私はループの間に出会ったときに__pids_var_run()関数が何をするのかを調べようとしています。

  while : ; do 
        read line 
        [ -z "$line" ] && break 
        for p in $line ; do 
          if [ -z "${p//[0-9]/}" -a -d "/proc/$p" ] ; then 
            if [ -n "$binary" ] ; then 
              local b=$(readlink /proc/$p/exe | sed -e 's/\s*(deleted)$//') 
              [ "$b" != "$binary" ] && continue 
            fi 
            pid="$pid $p" 
          fi 
        done 
      done < "$pid_file" 

while : ; do ; ... done < "$pid_file"は何かを説明できますか？より具体的には、doneの後の最後の部分は、それ以外の部分は多かれ少なかれ分かります。

Answer 1

これは、stdinから何かを読み込むループ内のコマンドは、キーボードの代わりに、指定されたファイルから読み込むことを意味します。

この場合、特にループではread lineを使用してstdinから1行を読み込みます。したがって、$pidfileからリダイレクトすると、1行ずつ効果的にファイルが読み込まれます。

リダイレクトについてさらに読むには、Illustrated redirection tutorialがあり、this Bash GuideがLhunathおよびGreyCatであることが推奨されます。

私はこのquesitonはすでに（私は恵みをしたので、私はコメントすることはできません）回答されていますが、私はあなたがチャンスを得るときにこのサイトをチェックすべきだと思うことがわかり

Answer 2

：

http://mywiki.wooledge.org/BashFAQ/001

この男（またはgal）は、実際の例で適切で不適切な構文に飛び込んでいます。