I'm writing a bash script which will isolate a portion of a string and save it to a variable in a bash script. Assuming
$INSTALL_INFO is a variable with the file I wish to pull data from, I'm doing something like this.
BOOST=`cat $INSTALL_INFO | grep 'BOOST:' | sed 's/BOOST://g' | sed 's/^[ \t]*//'`
In this case, boost is the keyword I'm looking for. The format for the items in the file is:
<possible whitespace><exact title><indeterminate whitespace><data I want><possible whitespace>
there has got to be a cleaner way of doing this with one sed command, but I was unable to figure anything out.