The difference between `$PATH` and `echo $PATH`30 May 2019·310 words·2 minsLinux Bash Programming Experiment