annotate Scripts/scripts.subr @ 1038:ff9f0c0f36bd

mail/neomutt: allow SSL=yes for default implementation
author David Demelier <markand@malikania.fr>
date Fri, 30 Aug 2019 18:14:59 +0200
parents e46348eb3fbd
children 52b36e54f1b7
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1028
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
1 #
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
2 # script.subr -- subroutines for Vanilla scripts
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
3 #
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
4 # Copyright (c) 2019 David Demelier <markand@malikania.fr>
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
5 #
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
6 # 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
7 # 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
8 # 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
9 #
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
10 # 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
11 # 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
12 # 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
13 # 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
14 # 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
15 # 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
16 # 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
17 #
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 for applet in $(busybox --list); do
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
20 alias applet="busybox $applet"
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
21 done
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
22
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
23 TOP=$(realpath $(dirname $0)/../)
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
24
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
25 vnl_warn()
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
26 {
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
27 echo "abort: $1" 1>&2
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
28 }
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
29
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
30 vnl_err()
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
31 {
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
32 vnl_warn "$@"
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
33 exit 1
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
34 }
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
35
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
36 vnl_open_build()
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
37 {
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
38 local path
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
39 local name
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
40
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
41 if [ -n "$1" ]; then
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
42 path=$TOP/$1
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
43 else
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
44 path=$(pwd)
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
45 fi
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
46
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
47 name=$(basename $path)
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
48
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
49 if [ ! -f $path/$name.sh ]; then
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
50 vnl_err "not a source package directory"
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
51 fi
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 . $path/$name.sh
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents:
diff changeset
54 }