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