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