Jpp
19.1.0-rc.1
the software that should make you happy
examples
JLang
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
$JPP_DIR/examples/JLang/JWhiteSpacesFacet -c $WS -f $INPUT_FILE
31
32
rm -f $INPUT_FILE
33
34
35
Generated by
1.9.1