Jpp
JWhiteSpacesFacet.sh
Go to the documentation of this file.
1 #!/bin/zsh
2 #
3 # \author mdejong
4 #
5 version=1.0
6 script=${0##*/}
7 
8 if [ -z $JPP_DIR ]; then
9  echo "Variable JPP_DIR undefined."
10  exit
11 fi
12 
13 source $JPP_DIR/setenv.sh $JPP_DIR
14 
15 if ( do_usage $* ); then
16  usage "$script"
17 fi
18 
19 INPUT_FILE=white_spaces.txt
20 WS="#"
21 
22 cat<<EOF>$INPUT_FILE
23 aap#noot#mies
24 EOF
25 
26 echo "Input file:"
27 cat $INPUT_FILE
28 
29 echo "White space facet \"$WS\":"
30 JWhiteSpacesFacet -c $WS -f $INPUT_FILE
31 
32 
33