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