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