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