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
|
#! /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_tabls.h
# Checks for tabs in the source and returns an error if it finds any.
# Files that are not checked can be specified in bin/dev_settings.sh.
# -----------------------------------------------------------------------------
if [ "$0" != "bin/check_tab.sh" ]
then
echo "bin/check_tab.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_tab [all]'
exit 1
fi
#
# sed
source bin/grep_and_sed.sh
#
# invisible_and_tab_ok
source bin/dev_settings.sh
# ----------------------------------------------------------------------------
#
# sed.$$
cat << EOF > sed.$$
s|.*-> *||
EOF
for name in $invisible_and_tab_ok
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
#
# ok
ok='yes'
for file in $file_list
do
if $grep -P '\t' $file > /dev/null
then
echo "$file has a tab"
ok='no'
fi
done
if [ "$ok" != 'yes' ]
then
echo 'check_tab: Error'
rm sed.$$
exit 1
fi
# -----------------------------------------------------------------------------
rm sed.$$
echo 'check_tab.sh: OK'
exit 0
|
