Dấu ngoặc nhọn bên trái sau vòng lặp while có nghĩa là gì trong bash?

Question

Sau đây là từ /etc/init.d/functions trên RHEL. Tôi đang cố gắng tìm ra những gì các chức năng __pids_var_run() hiện khi tôi đi qua vòng lặp này trong khi.

  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" 

Ai đó có thể giải thích những gì while : ; do ; ... done < "$pid_file" làm gì? Cụ thể hơn, phần cuối cùng sau done, như phần còn lại của nó nhiều hay ít có ý nghĩa.

Answer 1

Điều đó có nghĩa là bất kỳ lệnh nào trong vòng lặp đọc nội dung nào đó từ stdin sẽ đọc từ tệp đã cho (thay vì bàn phím chẳng hạn).

Trong trường hợp này đặc biệt, vòng lặp sử dụng read line để đọc một dòng đơn từ stdin, vì vậy khi bạn chuyển hướng từ $pidfile nó có hiệu quả đọc từng dòng tệp.

Để đọc thêm về chuyển hướng, dưới đây là Illustrated redirection tutorial được đề xuất bởi this Bash Guide bởi Lhunath và GreyCat.

Answer 2

Tôi thấy rằng quesiton này đã được trả lời (Tôi không thể bình luận vì tôi đã làm một tiền thưởng), nhưng tôi nghĩ bạn nên kiểm tra trang web này khi bạn có cơ hội:

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

anh chàng này (hoặc gal) thực sự đi sâu vào cú pháp thích hợp và không đúng với các ví dụ.