diff options
Diffstat (limited to 'gentoo.txt')
| -rw-r--r-- | gentoo.txt | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/gentoo.txt b/gentoo.txt index b673654fb9a3..9c7a6f4dbfa9 100644 --- a/gentoo.txt +++ b/gentoo.txt @@ -17,7 +17,15 @@ $ pmaint sync gentoo WARNING:pkgcore:repository at '/home/mgorny/sync/steveeJ' has unsupported profile format: profile-set WARNING:pkgcore:repository at '/home/mgorny/sync/xelnor' has unsupported profile format: profile-set WARNING:pkgcore:repository at '/home/mgorny/sync/xelnor' has unsupported profile format: profile-set -Already up-to-date. +From https://anongit.gentoo.org/git/repo/gentoo + 9478437..435ade2 master -> origin/master +Updating 9478437..435ade2 +Fast-forward + profiles/package.mask | 5 ++++ + sys-kernel/gentoo-sources/Manifest | 3 +++ + .../gentoo-sources/gentoo-sources-4.4.24.ebuild | 29 ++++++++++++++++++++++ + 3 files changed, 37 insertions(+) + create mode 100644 sys-kernel/gentoo-sources/gentoo-sources-4.4.24.ebuild *** syncing gentoo *** synced gentoo * Sync succeeded |