diff options
author | 2016-05-10 18:22:00 +0000 | |
---|---|---|
committer | 2016-05-10 18:22:00 +0000 | |
commit | 9b1f2258fb2377cfb8940071540157d5fdf0010b (patch) | |
tree | 2eec3ff2dee5b0ef016188f9feac0f07aa8870ff /TomWij.txt | |
parent | 2016-05-10T18:00:01 (diff) | |
download | repos-9b1f2258fb2377cfb8940071540157d5fdf0010b.tar.gz repos-9b1f2258fb2377cfb8940071540157d5fdf0010b.tar.bz2 repos-9b1f2258fb2377cfb8940071540157d5fdf0010b.zip |
2016-05-10T18:20:01
Diffstat (limited to 'TomWij.txt')
-rw-r--r-- | TomWij.txt | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/TomWij.txt b/TomWij.txt index 2ad8e83413b4..9648209461fc 100644 --- a/TomWij.txt +++ b/TomWij.txt @@ -14,10 +14,17 @@ 'status': 'official'} $ pmaint sync TomWij 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 TomWij +*** failed syncing TomWij + * Sync failed with 1 + * Will try to re-create +$ pmaint sync TomWij +WARNING:pkgcore:repository at '/home/mgorny/sync/steveeJ' has unsupported profile format(s): 'profile-set' +Cloning into '/home/mgorny/sync/TomWij'... *** syncing TomWij *** synced TomWij - * Sync succeeded + * Sync succeeded after re-adding $ pmaint regen --use-local-desc --pkg-desc-index -t 1 TomWij 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' |