diff options
author | 2016-07-01 09:23:59 +0000 | |
---|---|---|
committer | 2016-07-01 09:23:59 +0000 | |
commit | 920c3c15bea87fef991061d5d4800fbf7fd02bd0 (patch) | |
tree | 63c63065814111e9e2490dc892cafa3c65feeffa /Armageddon.txt | |
parent | 2016-07-01T09:00:01 (diff) | |
download | repos-920c3c15bea87fef991061d5d4800fbf7fd02bd0.tar.gz repos-920c3c15bea87fef991061d5d4800fbf7fd02bd0.tar.bz2 repos-920c3c15bea87fef991061d5d4800fbf7fd02bd0.zip |
2016-07-01T09:22:25
Diffstat (limited to 'Armageddon.txt')
-rw-r--r-- | Armageddon.txt | 12 |
1 files changed, 2 insertions, 10 deletions
diff --git a/Armageddon.txt b/Armageddon.txt index 91f06f05567d..91dd31be614e 100644 --- a/Armageddon.txt +++ b/Armageddon.txt @@ -16,18 +16,10 @@ $ pmaint sync Armageddon WARNING:pkgcore:repository at '/home/mgorny/sync/steveeJ' has unsupported profile format: profile-set WARNING:pkgcore:repository at '/home/mgorny/sync/steveeJ' has unsupported profile format: profile-set -fatal: read error: Connection reset by peer -*** syncing Armageddon -*** failed syncing Armageddon - * Sync failed with 1 - * Will try to re-create -$ pmaint sync Armageddon -WARNING:pkgcore:repository at '/home/mgorny/sync/steveeJ' has unsupported profile format: profile-set -WARNING:pkgcore:repository at '/home/mgorny/sync/steveeJ' has unsupported profile format: profile-set -Cloning into '/home/mgorny/sync/Armageddon'... +Already up-to-date. *** syncing Armageddon *** synced Armageddon - * Sync succeeded after re-adding + * Sync succeeded $ git log --format=%ci -1 $ pmaint regen --use-local-desc --pkg-desc-index -t 1 Armageddon WARNING:pkgcore:repository at '/home/mgorny/repos/steveeJ' has unsupported profile format: profile-set |