diff options
| author |   Repository QA checks <repo-qa-checks@gentoo.org> | 2015-11-06 20:21:36 -0500 |
|---|---|---|
| committer | Repository QA checks <repo-qa-checks@gentoo.org> | 2015-11-06 20:21:36 -0500 |
| commit | 66275d70d1627d141af038ad394d74cc46b5dda9 (patch) | |
| tree | 8e9581d872b1ebc39bbfd1c62021d7568f10a231 /whiledev.txt | |
| parent | 2015-11-07T01:00:01 (diff) | |
| download | repos-66275d70d1627d141af038ad394d74cc46b5dda9.tar.gz repos-66275d70d1627d141af038ad394d74cc46b5dda9.tar.bz2 repos-66275d70d1627d141af038ad394d74cc46b5dda9.zip | |
2015-11-07T01:20:01
Diffstat (limited to 'whiledev.txt')
| -rw-r--r-- | whiledev.txt | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/whiledev.txt b/whiledev.txt index e8c068b98921..4c692d710e02 100644 --- a/whiledev.txt +++ b/whiledev.txt @@ -7,14 +7,13 @@ 'uri': 'https://github.com/whiledev/whiledev-overlay.git'}], 'status': 'unofficial'} $ pmaint sync whiledev +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 whiledev *** synced whiledev * Sync succeeded $ pmaint regen --use-local-desc --pkg-desc-index -t 1 whiledev -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' -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 |