Amending

On Fri, Jul 12, 2013 at 12:38 PM, Bernardo Gomez Palacio <
[email protected]> wrote:

> # Initialize the _Command_ options.
> OPTIONS="--log_dir=$LOG_DIR"
> if [ -n "$CONFIGFILE" ]; then
>     OPTIONS=`paste -d " " <(cat $CONFIGFILE  | grep -e "^[--]" )`
> fi
>

Reply via email to