diff options
-rw-r--r-- | NEWS | 2 | ||||
-rwxr-xr-x | profile.d/msec.csh | 2 | ||||
-rwxr-xr-x | profile.d/msec.sh | 2 |
3 files changed, 4 insertions, 2 deletions
@@ -1,3 +1,5 @@ +- Use `grep -F` instead of deprecated `fgrep` + Version 2.12 - May 4, 2022 Papoteur - More robust logging in file against internationalized strings diff --git a/profile.d/msec.csh b/profile.d/msec.csh index 5ff87ab..97473bd 100755 --- a/profile.d/msec.csh +++ b/profile.d/msec.csh @@ -25,7 +25,7 @@ endif # So while modifying the PATH, do not rely on the PATH until unhash is done if ( ${?ALLOW_CURDIR_IN_PATH} == 'yes' ) then - if ! { (echo "${PATH}" | /bin/fgrep -q :.) } then + if ! { (echo "${PATH}" | /bin/grep -E -q :.) } then setenv PATH "${PATH}:." endif endif diff --git a/profile.d/msec.sh b/profile.d/msec.sh index 4a902e7..2b1a7a5 100755 --- a/profile.d/msec.sh +++ b/profile.d/msec.sh @@ -20,7 +20,7 @@ else fi if [ "$ALLOW_CURDIR_IN_PATH" == "yes" ]; then - if ! echo ${PATH} | fgrep -q :.; then + if ! echo ${PATH} | grep -E -q :.; then export PATH=$PATH:. fi fi |