diff options
-rw-r--r-- | basic.sh | 3 | ||||
-rwxr-xr-x | make_install.sh | 3 | ||||
-rwxr-xr-x | update.sh | 5 |
3 files changed, 10 insertions, 1 deletions
@@ -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 @@ -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 |