Đó là id quá trình của chính quy trình bash.
Bạn có thể sử dụng nó để theo dõi quá trình của bạn qua cuộc sống của mình - sử dụng ps -p
để xem nếu nó vẫn chạy, hãy gửi một tín hiệu sử dụng kill
(tạm dừng quá trình chẳng hạn), thay đổi ưu tiên của nó với renice
, và vân vân.
Id quá trình thường được ghi vào tệp nhật ký, đặc biệt khi nhiều phiên bản của tập lệnh chạy cùng một lúc, để giúp theo dõi hiệu suất hoặc chẩn đoán sự cố.
Dưới đây là the bash documentation nêu ra các tham số đặc biệt.
BASHPID
, được ghostdog74 đề cập, được thêm vào phiên bản 4.0. Dưới đây là một ví dụ từ Mendel Cooper của Advanced Bash-Scripting Guide cho thấy sự khác biệt giữa $$
và $BASHPID
:
#!/bin/bash4
echo "\$\$ outside of subshell = $$" # 9602
echo "\$BASH_SUBSHELL outside of subshell = $BASH_SUBSHELL" # 0
echo "\$BASHPID outside of subshell = $BASHPID" # 9602
echo
(echo "\$\$ inside of subshell = $$" # 9602
echo "\$BASH_SUBSHELL inside of subshell = $BASH_SUBSHELL" # 1
echo "\$BASHPID inside of subshell = $BASHPID") # 9603
# Note that $$ returns PID of parent process.
Nguồn
2010-01-08 08:56:31
Điều gì đã trở thành truyền thống cũ tốt về việc đọc sách hướng dẫn sử dụng tốt cho vỏ của bạn? – Jens