我看到在 Linux 中添加路径有两种不同的方法。例如,
export PATH=/usr/local/cuda/bin${PATH:+:${PATH}}
export PATH=/usr/local/cuda/bin:$PATH
虽然我清楚地知道第二种方法,但第一种方法是做什么的?与第二种相比有什么优势?
我看到在 Linux 中添加路径有两种不同的方法。例如,
export PATH=/usr/local/cuda/bin${PATH:+:${PATH}}
export PATH=/usr/local/cuda/bin:$PATH
虽然我清楚地知道第二种方法,但第一种方法是做什么的?与第二种相比有什么优势?
当
PATH
为空时,则:结果是
空
:<nothing>
的表示当前工作目录,参考https://www.gnu.org/software/bash/manual/bash.html#index-PATH。该代码将当前工作目录和 cuda 添加到路径中。这不是有意的。:
相反,您只想在 PATH 不为空时添加。这就是所${PATH:+:${PATH}}
取得的成就。