diff options
Diffstat (limited to 'mgorny.txt')
| -rw-r--r-- | mgorny.txt | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/mgorny.txt b/mgorny.txt index 15c0044e9647..fcb5339f70ae 100644 --- a/mgorny.txt +++ b/mgorny.txt @@ -12,10 +12,17 @@ 'status': 'official'} $ pmaint sync mgorny 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 mgorny +*** failed syncing mgorny + * Sync failed with 1 + * Will try to re-create +$ pmaint sync mgorny +WARNING:pkgcore:repository at '/home/mgorny/sync/steveeJ' has unsupported profile format(s): 'profile-set' +Cloning into '/home/mgorny/sync/mgorny'... *** syncing mgorny *** synced mgorny - * Sync succeeded + * Sync succeeded after re-adding $ pmaint regen --use-local-desc --pkg-desc-index -t 1 mgorny 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' |