aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEinhard Leichtfuß <alguien@respiranto.de>2018-11-29 23:15:20 +0100
committerEinhard Leichtfuß <alguien@respiranto.de>2018-11-29 23:15:20 +0100
commitd5adf3ea792a000106539731bc5f7ac33ea57f3d (patch)
tree3fc2e66fec072750f9e258a2570506ccc5b97f98
parent612156c7c2055c0e30a9fa82d0f96396aea75bc1 (diff)
Add Copyright notices
-rw-r--r--basic.sh3
-rwxr-xr-xmake_install.sh3
-rwxr-xr-xupdate.sh5
3 files changed, 10 insertions, 1 deletions
diff --git a/basic.sh b/basic.sh
index 2220e27..ed4a442 100644
--- a/basic.sh
+++ b/basic.sh
@@ -1,4 +1,7 @@
#!/bin/bash
+#
+# Copyright 2018 Einhard Leichtfuß
+#
typeset -a langs
langs=(
diff --git a/make_install.sh b/make_install.sh
index 88e35dd..094fe25 100755
--- a/make_install.sh
+++ b/make_install.sh
@@ -1,4 +1,7 @@
#!/bin/bash
+#
+# Copyright 2018 Einhard Leichtfuß
+#
. basic.sh
diff --git a/update.sh b/update.sh
index f2d7044..92a4426 100755
--- a/update.sh
+++ b/update.sh
@@ -1,4 +1,7 @@
#!/bin/bash
+#
+# Copyright 2018 Einhard Leichtfuß
+#
# usage: $0 dir type [--nopull] [-u xyz-uvw|-ua|-uaf]
# $1 base directory: string
# $2 type: (src|bin|svn)
@@ -48,7 +51,7 @@ function main
{
if [ "$#" -lt 2 ]
then
- echo "Usage: $0 <base_dir> <type> [-u <xy>-<zw>|-ua|-uaf]" >&2
+ echo "Usage: $0 <base_dir> <type> [--nopull] [-u <xy>-<zw>|-ua|-uaf]" >&2
exit 1
else
cd "$1" || exit 1