diff options
author | 2016-06-21 23:21:41 +0000 | |
---|---|---|
committer | 2016-06-21 23:21:41 +0000 | |
commit | c51833ec6a330ed1f661219b61b8a7ec3ff98db6 (patch) | |
tree | 592072a84d44424934e2e8e211de38e67ca99b69 /Drauthius.txt | |
parent | 2016-06-21T23:00:02 (diff) | |
download | repos-c51833ec6a330ed1f661219b61b8a7ec3ff98db6.tar.gz repos-c51833ec6a330ed1f661219b61b8a7ec3ff98db6.tar.bz2 repos-c51833ec6a330ed1f661219b61b8a7ec3ff98db6.zip |
2016-06-21T23:20:01
Diffstat (limited to 'Drauthius.txt')
-rw-r--r-- | Drauthius.txt | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/Drauthius.txt b/Drauthius.txt index 6f76f28e4cfa..a3a65511ec36 100644 --- a/Drauthius.txt +++ b/Drauthius.txt @@ -13,17 +13,10 @@ 'status': 'unofficial'} $ pmaint sync Drauthius WARNING:pkgcore:repository at '/home/mgorny/sync/steveeJ' has unsupported profile format: profile-set -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'... +Already up-to-date. *** syncing Drauthius *** synced Drauthius - * Sync succeeded after re-adding + * Sync succeeded $ 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 |