4 Dec
2020
4 Dec
'20
2: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.
"make and make ..." ? delete "make and" ? Thanks, Weitao
Second, invoking shell_profile(env.sh) that will distinguish different shell_files.
Signed-off-by: Hu XueJiao <1034502035@qq.com> --- make-env | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 make-env
diff --git a/make-env b/make-env new file mode 100644 index 00000000..cab39288 --- /dev/null +++ b/make-env @@ -0,0 +1,6 @@ +#!/bin/bash +. lib/env.sh +make +make install + +source $(shell_profile) -- 2.23.0