Mercurial > vanilla
annotate Scripts/scripts.subr @ 1149:ee4b956157fe
kernel/linux-headers: rename from lib/linux-headers
author | David Demelier <markand@malikania.fr> |
---|---|
date | Wed, 25 Sep 2019 21:10:00 +0200 |
parents | 52b36e54f1b7 |
children |
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 } |