JWhiteSpacesFacet.sh

Go to the documentation of this file.

#!/bin/zsh
#
# \author mdejong
#
version=1.0
script=${0##*/}

if [ -z $JPP_DIR ]; then
    echo "Variable JPP_DIR undefined."
    exit
fi

source $JPP_DIR/setenv.sh $JPP_DIR

if ( do_usage $* ); then
    usage "$script"
fi

INPUT_FILE=white_spaces.txt
WS="#"

cat<<EOF>$INPUT_FILE
aap#noot#mies
EOF

echo "Input file:"
cat $INPUT_FILE

echo "White space facet \"$WS\":"
$JPP_DIR/examples/JLang/JWhiteSpacesFacet -c $WS -f $INPUT_FILE 

rm -f $INPUT_FILE