diff options
author | 2016-06-15 15:44:33 +0000 | |
---|---|---|
committer | 2016-06-15 15:44:33 +0000 | |
commit | 6cf65dc58f4c6309fed603ec29d3bcc56abf9b42 (patch) | |
tree | a3cd3f978177aaad0af1fda66d43e76fb0b283ef /Drauthius.txt | |
parent | 2016-06-15T15:20:01 (diff) | |
download | repos-6cf65dc58f4c6309fed603ec29d3bcc56abf9b42.tar.gz repos-6cf65dc58f4c6309fed603ec29d3bcc56abf9b42.tar.bz2 repos-6cf65dc58f4c6309fed603ec29d3bcc56abf9b42.zip |
2016-06-15T15:42:30
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 290135910a39..24f415ab73f1 100644 --- a/Drauthius.txt +++ b/Drauthius.txt @@ -13,10 +13,17 @@ 'status': 'unofficial'} $ pmaint sync Drauthius WARNING:pkgcore:repository at '' has unsupported profile format/home/mgorny/sync/steveeJ: 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 '' has unsupported profile format/home/mgorny/sync/steveeJ: 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 '' has unsupported profile format/home/mgorny/repos/steveeJ: profile-set |