diff options
author | 2016-03-30 16:02:12 +0000 | |
---|---|---|
committer | 2016-03-30 16:02:12 +0000 | |
commit | f4ab38f02605635bb8abb59fe120b9ea62664c24 (patch) | |
tree | a6ce8df3228d83b7dddc65692120760b7b1163d8 /distros.txt | |
parent | 2016-03-30T15:40:01 (diff) | |
download | repos-f4ab38f02605635bb8abb59fe120b9ea62664c24.tar.gz repos-f4ab38f02605635bb8abb59fe120b9ea62664c24.tar.bz2 repos-f4ab38f02605635bb8abb59fe120b9ea62664c24.zip |
2016-03-30T16:00:01
Diffstat (limited to 'distros.txt')
-rw-r--r-- | distros.txt | 13 |
1 files changed, 2 insertions, 11 deletions
diff --git a/distros.txt b/distros.txt index e2a1930a8d5e..950449f6b455 100644 --- a/distros.txt +++ b/distros.txt @@ -8,19 +8,10 @@ 'status': 'unofficial'} $ pmaint sync distros WARNING:pkgcore:repository at '/home/mgorny/sync/steveeJ' has unsupported profile format(s): 'profile-set' -fatal: unable to connect to git.calculate.ru: -git.calculate.ru[0: 95.213.228.194]: errno=Connection timed out - -*** syncing distros -*** failed syncing distros - * Sync failed with 1 - * Will try to re-create -$ pmaint sync distros -WARNING:pkgcore:repository at '/home/mgorny/sync/steveeJ' has unsupported profile format(s): 'profile-set' -Cloning into '/home/mgorny/sync/distros'... +Already up-to-date. *** syncing distros *** synced distros - * Sync succeeded after re-adding + * Sync succeeded $ pmaint regen --use-local-desc --pkg-desc-index -t 1 distros WARNING:pkgcore:repository at '/home/mgorny/repos/steveeJ' has unsupported profile format(s): 'profile-set' WARNING:pkgcore:repository at '/home/mgorny/repos/steveeJ' has unsupported profile format(s): 'profile-set' |