diff options
| author | daviddavid <geiger.david68210@gmail.com> | 2023-05-05 20:00:16 +0200 |
|---|---|---|
| committer | daviddavid <geiger.david68210@gmail.com> | 2023-05-05 20:00:16 +0200 |
| commit | b359f5cfddc47e1a3701c77dc95d9f04c6740d27 (patch) | |
| tree | 5343300dfd0d53852e9ec906e805bb7d6f005ffd | |
| parent | 59b1889eab06457cbba28e37a30c6e204a93a57c (diff) | |
| download | msec-b359f5cfddc47e1a3701c77dc95d9f04c6740d27.tar msec-b359f5cfddc47e1a3701c77dc95d9f04c6740d27.tar.gz msec-b359f5cfddc47e1a3701c77dc95d9f04c6740d27.tar.bz2 msec-b359f5cfddc47e1a3701c77dc95d9f04c6740d27.tar.xz msec-b359f5cfddc47e1a3701c77dc95d9f04c6740d27.zip | |
Use `grep -F` instead of deprecated `fgrep`
| -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 |