diff options
Diffstat (limited to 'bibletime.txt')
| -rw-r--r-- | bibletime.txt | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/bibletime.txt b/bibletime.txt index 585d6bbcd2fa..117ef5e913d1 100644 --- a/bibletime.txt +++ b/bibletime.txt @@ -15,10 +15,17 @@ 'status': 'unofficial'} $ pmaint sync bibletime WARNING:pkgcore:repository at '/home/mgorny/sync/steveeJ' has unsupported profile format(s): 'profile-set' -Already up-to-date. +fatal: read error: Connection reset by peer +*** syncing bibletime +*** failed syncing bibletime + * Sync failed with 1 + * Will try to re-create +$ pmaint sync bibletime +WARNING:pkgcore:repository at '/home/mgorny/sync/steveeJ' has unsupported profile format(s): 'profile-set' +Cloning into '/home/mgorny/sync/bibletime'... *** syncing bibletime *** synced bibletime - * Sync succeeded + * Sync succeeded after re-adding $ pmaint regen --use-local-desc --pkg-desc-index -t 1 bibletime WARNING:pkgcore:repository at '/home/mgorny/repos/steveeJ' has unsupported profile format(s): 'profile-set' WARNING:pkgcore:repository at '/home/mgorny/repos/steveeJ' has unsupported profile format(s): 'profile-set' |