diff options
Diffstat (limited to 'regina-gentoo.txt')
| -rw-r--r-- | regina-gentoo.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/regina-gentoo.txt b/regina-gentoo.txt index 62a8bbd35f41..e2801bec0a26 100644 --- a/regina-gentoo.txt +++ b/regina-gentoo.txt @@ -10,14 +10,14 @@ 'uri': 'git://github.com/WPettersson/regina-gentoo.git'}], 'status': 'unofficial'} $ pmaint sync regina-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 Already up-to-date. *** syncing regina-gentoo *** synced regina-gentoo * Sync succeeded $ pmaint regen --use-local-desc --pkg-desc-index -t 1 regina-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' -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 |