diff options
author | Andreas Maunz <andreas@maunz.de> | 2011-04-02 15:32:29 +0200 |
---|---|---|
committer | Andreas Maunz <andreas@maunz.de> | 2011-04-02 15:32:29 +0200 |
commit | c3496282449215855acb5c083c20a1782803617a (patch) | |
tree | 7a8bc774d5554665be85f4d982491839bf996f16 /kernlab.sh | |
parent | 438de29fbd0ddf20c0b4acac1fa70d7ce58a62b8 (diff) |
Replaced substring matching by grep
Diffstat (limited to 'kernlab.sh')
-rwxr-xr-x | kernlab.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -57,7 +57,7 @@ fi if [ ! -f $KL_CONF ]; then - echo "if ! [[ \"\$R_LIBS\" =~ \"$KL_DEST\" ]]; then export R_LIBS=\"$KL_DEST\"; fi" >> "$KL_CONF" + echo "if echo \"\$R_LIBS\" | grep -v \"$KL_DEST\">/dev/null 2>&1; then export R_LIBS=\"$KL_DEST\"; fi" >> "$KL_CONF" echo "R package destination has been stored in '$KL_CONF'." if ! grep "$KL_CONF" $HOME/.bashrc >/dev/null 2>&1 ; then |