diff options
Diffstat (limited to 'gentoo.txt')
| -rw-r--r-- | gentoo.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gentoo.txt b/gentoo.txt index c32397c9df28..813c30ef585e 100644 --- a/gentoo.txt +++ b/gentoo.txt @@ -14,13 +14,14 @@ 'uri': 'git://anongit.gentoo.org/repo/gentoo.git'}], 'status': 'official'} $ pmaint sync gentoo +WARNING:pkgcore:repository at location '/home/mgorny/sync/zugaina' lacks a defined repo_name WARNING:pkgcore:repository at '/home/mgorny/sync/steveeJ' has unsupported profile format(s): 'profile-set' +WARNING:pkgcore:repository at location '/home/mgorny/sync/zugaina' lacks a defined repo_name WARNING:pkgcore:repository at '/home/mgorny/sync/steveeJ' has unsupported profile format(s): 'profile-set' Already up-to-date. *** syncing gentoo *** synced gentoo * Sync succeeded $ pmaint regen --use-local-desc --pkg-desc-index -t 1 gentoo -WARNING:pkgcore:repository at location '/home/mgorny/repos/zugaina' lacks a defined repo_name WARNING:pkgcore:repository at '/home/mgorny/repos/steveeJ' has unsupported profile format(s): 'profile-set' * Cache regenerated successfully |