diff options
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 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 |