annotate echo.bash @ 0:32f8fbdd754c default tip

Uploaded
author rico
date Fri, 06 Apr 2012 13:59:29 -0400
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
32f8fbdd754c Uploaded
rico
parents:
diff changeset
1 #!/usr/bin/env bash
32f8fbdd754c Uploaded
rico
parents:
diff changeset
2
32f8fbdd754c Uploaded
rico
parents:
diff changeset
3 if [ $# -lt 3 ]; then
32f8fbdd754c Uploaded
rico
parents:
diff changeset
4 echo "usage"
32f8fbdd754c Uploaded
rico
parents:
diff changeset
5 exit 1
32f8fbdd754c Uploaded
rico
parents:
diff changeset
6 fi
32f8fbdd754c Uploaded
rico
parents:
diff changeset
7
32f8fbdd754c Uploaded
rico
parents:
diff changeset
8 input="$1"
32f8fbdd754c Uploaded
rico
parents:
diff changeset
9 output="$2"
32f8fbdd754c Uploaded
rico
parents:
diff changeset
10 shift 2
32f8fbdd754c Uploaded
rico
parents:
diff changeset
11
32f8fbdd754c Uploaded
rico
parents:
diff changeset
12 for individual in "$@"; do
32f8fbdd754c Uploaded
rico
parents:
diff changeset
13 echo "$individual" >> "$output"
32f8fbdd754c Uploaded
rico
parents:
diff changeset
14 done
32f8fbdd754c Uploaded
rico
parents:
diff changeset
15
32f8fbdd754c Uploaded
rico
parents:
diff changeset
16 exit 0
32f8fbdd754c Uploaded
rico
parents:
diff changeset
17