Ý nghĩa của ruột trong Bash sau một ống đôi

Question

Tôi cố gắng để hiểu được đoạn mã này:

. functions.sh || { : ; echo "Error while loading the specified file" >&2; exit 2; } 

tôi nhận được rằng mã trong khung được gọi khi một file nào đó là không có sẵn. Nhưng điều này có nghĩa là gì : ;? Hơn nữa, khi bạn xóa nó, thì tập lệnh sẽ không hoạt động.

Answer 1

colon is null statement, vì vậy không có gì. Dấu chấm phẩy ends a list of commands.

Không chắc chắn lý do tại sao mọi người sẽ viết ở trên, về cơ bản là "không làm gì cả, sau đó thực hiện echo" có vẻ như nó có thể được đơn giản hóa. Có thể là hành lý sao chép-dán của ai đó.