4 Dec
2020
4 Dec
'20
3:19 p.m.
On Fri, Dec 04, 2020 at 12:47:52PM +0800, Hu Xuejiao wrote:
[why] Source shell_file based on different shells.
[how] First, make and make install is written to the make-env. Second, invoking shell_profile(env.sh) that will distinguish different shell_files.
This 'how' is just what your code do, so you may not need it. Don't repeat your code. Thanks, Yuanchao