diff options
| author | Erich Eckner <git@eckner.net> | 2018-03-09 10:41:11 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-03-09 10:41:11 +0100 |
| commit | 2dd83bdb652078561a80a183a4ea84162b82814c (patch) | |
| tree | a9d62faabc70d236bfe176bd4139b1115285b340 | |
| parent | 02ac06c92a7fe85626819ede0072928e7ac05130 (diff) | |
| download | builder-2dd83bdb652078561a80a183a4ea84162b82814c.tar.xz | |
bin/db-copy -> bin/repo-copy
| -rwxr-xr-x | bin/repo-copy (renamed from bin/db-copy) | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/db-copy b/bin/repo-copy index ab0201a..8566d7c 100755 --- a/bin/db-copy +++ b/bin/repo-copy @@ -11,7 +11,7 @@ usage() { >&2 echo 'usage:' - >&2 echo ' db-copy from-repo.db.tar.gz to-repo.db.tar.gz package1 package2 ...' + >&2 echo ' repo-copy from-repo.db.tar.gz to-repo.db.tar.gz package1 package2 ...' >&2 echo >&2 echo 'Note, that the packages must be given with version, e.g. "linux-4.15.7-1.0".' exit 2 |