
15 Dec
2020
15 Dec
'20
11:35 a.m.
@@ -122,6 +122,6 @@ is_system() shell_profile() { local profile="$HOME/.${SHELL##*/}rc" - [ -f "$profile" ] || profile="$HOME/.${SHELL##*/}_profile" + [ -f "$profile" ] || touch $profile
the local profile may either .${SHELL}rc or .${SHELL}_profile, the $HOME has at least one of the files. it's better check both of them before touch a new one. Thanks, Luan Shengde
echo $profile } -- 2.23.0