1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
|
#! /usr/bin/env bash
set -e -u
# !! EDITS TO THIS FILE ARE LOST DURING UPDATES BY xrst.git/bin/dev_tools.sh !!
# SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-or-later
# SPDX-FileCopyrightText: Bradley M. Bell <bradbell@seanet.com>
# SPDX-FileContributor: 2020-25 Bradley M. Bell
# -----------------------------------------------------------------------------
# bin/check_invisible.sh
# Checks that there is no invisible white space in any of the source files.
# If there is, a message is printed about it, it is automatically removed,
# and this script exits with an error.
# Files that are not checked can be specified in bin/dev_setting.sh
# -----------------------------------------------------------------------------
if [ "$0" != "bin/check_invisible.sh" ]
then
echo "bin/check_invisible.sh: must be executed from its parent directory"
exit 1
fi
if [ "$#" == 0 ]
then
all='false'
elif [ "$#" == 1 ] && [ "$1" == 'all' ]
then
all='true'
else
echo 'usage: bin/check_invisible [all]'
exit 1
fi
#
# sed
source bin/grep_and_sed.sh
#
# invisible_and_tab_ok
source bin/dev_settings.sh
# ----------------------------------------------------------------------------
#
# sed.$$
echo '#' > sed.$$
for name in $no_copyright_list
do
if [ -f $name ]
then
echo "^$name\$" | $sed -e 's|/|[/]|g' -e 's|.*|/&/d|' >> sed.$$
elif [ -d $name ]
then
echo "^$name/" | $sed -e 's|/|[/]|g' -e 's|.*|/&/d|' >> sed.$$
else
echo "$name in no_copyright_list is not a file or directory"
exit 1
fi
done
#
# file_list
if [ "$all" == 'true' ]
then
file_list=$(git ls-files | $sed -f sed.$$)
else
file_list=$(git status --porcelain | \
$sed -e '/^D/d' -e 's|^...||' | $sed -f sed.$$
)
fi
# ----------------------------------------------------------------------------
#
# sed.$$
cat << EOF > sed.$$
s|[ \\t][ \\t]*\$||
s| *\t|\t|g
1{/^[ \\t]*\$/d}
\${/^[ \\t]*\$/d}
EOF
#
# changed, file
changed='no'
for file in $file_list
do
if [ -f "$file" ]
then
$sed -f sed.$$ $file > copy.$$
if ! diff $file copy.$$ > diff.$$
then
changed='yes'
echo "$file: original (<) invisible space removed (>)"
cat diff.$$
if [ -x $file ]
then
chmod +x copy.$$
fi
mv copy.$$ $file
else
rm copy.$$
fi
rm diff.$$
fi
done
rm sed.$$
if [ "$changed" == 'yes' ]
then
echo 'check_invisible.sh: The invisible white space above have been fixed'
echo 'Re-execute bin/check_invisible.sh ?'
exit 1
fi
echo 'check_invisible.sh: OK'
exit 0
|
