Mercurial > vanilla

annotate Scripts/scripts.subr @ 1325:ee0eedaa9476

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
core/llvm: fix llvm-config output
author David Demelier <markand@malikania.fr>
date Sun, 21 Nov 2021 10:43:45 +0100
parents 52b36e54f1b7
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1061
52b36e54f1b7 vanilla: add some colors in scripts
David Demelier <markand@malikania.fr>
parents: 1028
diff changeset
1 #!/bin/busybox sh
1028
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
2 #
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
3 # script.subr -- subroutines for Vanilla scripts
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
4 #
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
5 # Copyright (c) 2019 David Demelier <markand@malikania.fr>
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
6 #
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
7 # Permission to use, copy, modify, and/or distribute this software for any
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
8 # purpose with or without fee is hereby granted, provided that the above
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
9 # copyright notice and this permission notice appear in all copies.
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
10 #
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
11 # THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
12 # WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
13 # MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
14 # ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
15 # WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
16 # ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
17 # OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
18 #
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
19
1061
52b36e54f1b7 vanilla: add some colors in scripts
David Demelier <markand@malikania.fr>
parents: 1028
diff changeset
20 : ${COLORS:=auto}
52b36e54f1b7 vanilla: add some colors in scripts
David Demelier <markand@malikania.fr>
parents: 1028
diff changeset
21
1028
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
22 for applet in $(busybox --list); do
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
23 alias applet="busybox $applet"
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
24 done
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
25
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
26 TOP=$(realpath $(dirname $0)/../)
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
27
1061
52b36e54f1b7 vanilla: add some colors in scripts
David Demelier <markand@malikania.fr>
parents: 1028
diff changeset
28 case $COLORS in
52b36e54f1b7 vanilla: add some colors in scripts
David Demelier <markand@malikania.fr>
parents: 1028
diff changeset
29 "auto")
52b36e54f1b7 vanilla: add some colors in scripts
David Demelier <markand@malikania.fr>
parents: 1028
diff changeset
30 if [ ! -t 1 ]; then
52b36e54f1b7 vanilla: add some colors in scripts
David Demelier <markand@malikania.fr>
parents: 1028
diff changeset
31 COLORS=""
52b36e54f1b7 vanilla: add some colors in scripts
David Demelier <markand@malikania.fr>
parents: 1028
diff changeset
32 else
52b36e54f1b7 vanilla: add some colors in scripts
David Demelier <markand@malikania.fr>
parents: 1028
diff changeset
33 COLORS="yes"
52b36e54f1b7 vanilla: add some colors in scripts
David Demelier <markand@malikania.fr>
parents: 1028
diff changeset
34 fi
52b36e54f1b7 vanilla: add some colors in scripts
David Demelier <markand@malikania.fr>
parents: 1028
diff changeset
35 ;;
52b36e54f1b7 vanilla: add some colors in scripts
David Demelier <markand@malikania.fr>
parents: 1028
diff changeset
36 "no")
52b36e54f1b7 vanilla: add some colors in scripts
David Demelier <markand@malikania.fr>
parents: 1028
diff changeset
37 COLORS=""
52b36e54f1b7 vanilla: add some colors in scripts
David Demelier <markand@malikania.fr>
parents: 1028
diff changeset
38 ;;
52b36e54f1b7 vanilla: add some colors in scripts
David Demelier <markand@malikania.fr>
parents: 1028
diff changeset
39 esac
52b36e54f1b7 vanilla: add some colors in scripts
David Demelier <markand@malikania.fr>
parents: 1028
diff changeset
40
52b36e54f1b7 vanilla: add some colors in scripts
David Demelier <markand@malikania.fr>
parents: 1028
diff changeset
41 if [ -n "$COLORS" ]; then
52b36e54f1b7 vanilla: add some colors in scripts
David Demelier <markand@malikania.fr>
parents: 1028
diff changeset
42 RESET="\033[0m"
52b36e54f1b7 vanilla: add some colors in scripts
David Demelier <markand@malikania.fr>
parents: 1028
diff changeset
43 BOLD="\033[1m"
52b36e54f1b7 vanilla: add some colors in scripts
David Demelier <markand@malikania.fr>
parents: 1028
diff changeset
44 fi
52b36e54f1b7 vanilla: add some colors in scripts
David Demelier <markand@malikania.fr>
parents: 1028
diff changeset
45
1028
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
46 vnl_warn()
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
47 {
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
48 echo "abort: $1" 1>&2
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
49 }
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
50
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
51 vnl_err()
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
52 {
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
53 vnl_warn "$@"
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
54 exit 1
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
55 }
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
56
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
57 vnl_open_build()
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
58 {
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
59 local path
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
60 local name
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
61
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
62 if [ -n "$1" ]; then
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
63 path=$TOP/$1
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
64 else
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
65 path=$(pwd)
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
66 fi
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
67
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
68 name=$(basename $path)
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
69
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
70 if [ ! -f $path/$name.sh ]; then
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
71 vnl_err "not a source package directory"
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
72 fi
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
73
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
74 . $path/$name.sh
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
75 }