diff options
author | 2016-06-20 04:21:46 +0000 | |
---|---|---|
committer | 2016-06-20 04:21:46 +0000 | |
commit | 8fe3f540ce5b8ef11e3cad93ad58f58c0ad64bbd (patch) | |
tree | 6fca080ace91c0f98b284986d9dd19f454d4a567 /Drauthius.txt | |
parent | 2016-06-20T04:00:01 (diff) | |
download | repos-8fe3f540ce5b8ef11e3cad93ad58f58c0ad64bbd.tar.gz repos-8fe3f540ce5b8ef11e3cad93ad58f58c0ad64bbd.tar.bz2 repos-8fe3f540ce5b8ef11e3cad93ad58f58c0ad64bbd.zip |
2016-06-20T04:20:01
Diffstat (limited to 'Drauthius.txt')
-rw-r--r-- | Drauthius.txt | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/Drauthius.txt b/Drauthius.txt index a3a65511ec36..6f76f28e4cfa 100644 --- a/Drauthius.txt +++ b/Drauthius.txt @@ -13,10 +13,17 @@ 'status': 'unofficial'} $ pmaint sync Drauthius WARNING:pkgcore:repository at '/home/mgorny/sync/steveeJ' has unsupported profile format: profile-set -Already up-to-date. +fatal: read error: Connection reset by peer +*** syncing Drauthius +*** failed syncing Drauthius + * Sync failed with 1 + * Will try to re-create +$ pmaint sync Drauthius +WARNING:pkgcore:repository at '/home/mgorny/sync/steveeJ' has unsupported profile format: profile-set +Cloning into '/home/mgorny/sync/Drauthius'... *** syncing Drauthius *** synced Drauthius - * Sync succeeded + * Sync succeeded after re-adding $ git log --format=%ci -1 $ pmaint regen --use-local-desc --pkg-desc-index -t 1 Drauthius WARNING:pkgcore:repository at '/home/mgorny/repos/steveeJ' has unsupported profile format: profile-set |