diff options
author | daviddavid <geiger.david68210@gmail.com> | 2023-05-05 20:10:59 +0200 |
---|---|---|
committer | daviddavid <geiger.david68210@gmail.com> | 2023-05-05 20:10:59 +0200 |
commit | 2a313e34944dea4f62f215c3426a34a5417311ed (patch) | |
tree | 6b42401ad990d2616de75da7cdb906ceb844f119 /profile.d/msec.csh | |
parent | b1e067bca79bc5b2c97e8f016d69d3ae68c61eba (diff) | |
download | msec-2a313e34944dea4f62f215c3426a34a5417311ed.tar msec-2a313e34944dea4f62f215c3426a34a5417311ed.tar.gz msec-2a313e34944dea4f62f215c3426a34a5417311ed.tar.bz2 msec-2a313e34944dea4f62f215c3426a34a5417311ed.tar.xz msec-2a313e34944dea4f62f215c3426a34a5417311ed.zip |
Really use `grep -F` instead of deprecated `fgrep`
Diffstat (limited to 'profile.d/msec.csh')
-rwxr-xr-x | profile.d/msec.csh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/profile.d/msec.csh b/profile.d/msec.csh index 97473bd..2bfe08d 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/grep -E -q :.) } then + if ! { (echo "${PATH}" | /bin/grep -F -q :.) } then setenv PATH "${PATH}:." endif endif |