| changeset 8546 | dc053bc2ea06 |
| parent 8545 | 263a30b90c16 |
| child 11557 | 66b62cbeaab3 |
| 8545:263a30b90c16 | 8546:dc053bc2ea06 |
|---|---|
109 |
109 |
110 EOF |
110 EOF |
111 exit 0 |
111 exit 0 |
112 fi |
112 fi |
113 |
113 |
114 |
|
114 # arguments |
115 # arguments |
115 |
116 |
116 [ $# -ne 1 ] && { echo "Bad arguments: $*"; usage; } |
117 [ $# -ne 1 ] && { echo "Bad arguments: $*"; usage; } |
117 |
118 |
118 DEST="$1"; shift; |
119 DEST="$1"; shift; |