diff options
author | 2017-12-15 04:47:06 +0000 | |
---|---|---|
committer | 2017-12-15 04:47:06 +0000 | |
commit | 2dc63ff7fdfdc3731cb06e32d7053183c1f3b962 (patch) | |
tree | cba6be9b61203c89215055ecf5362cb430da9c92 /pentoo.txt | |
parent | 2017-12-15T04:00:01Z (diff) | |
download | repos-2dc63ff7fdfdc3731cb06e32d7053183c1f3b962.tar.gz repos-2dc63ff7fdfdc3731cb06e32d7053183c1f3b962.tar.bz2 repos-2dc63ff7fdfdc3731cb06e32d7053183c1f3b962.zip |
2017-12-15T04:20:01Z
Diffstat (limited to 'pentoo.txt')
-rw-r--r-- | pentoo.txt | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/pentoo.txt b/pentoo.txt index 4c7cebf5f8b0..459c0497130e 100644 --- a/pentoo.txt +++ b/pentoo.txt @@ -14,7 +14,13 @@ $ pmaint sync pentoo WARNING:pkgcore:'genthree' repo at '/home/mgorny/sync/genthree' has unsupported profile format: profile-bashrcs WARNING:pkgcore:'xelnor' repo at '/home/mgorny/sync/xelnor' has unsupported profile format: build-id WARNING:pkgcore:'xelnor' repo at '/home/mgorny/sync/xelnor' has unsupported profile format: build-id -Already up to date. +From https://github.com/pentoo/pentoo-overlay + c87f7d4d..033d5e70 master -> origin/master +Updating c87f7d4d..033d5e70 +Fast-forward + profiles/pentoo/base/package.use/media-plugins | 2 +- + profiles/pentoo/base/package.use/media-sound | 1 + + 2 files changed, 2 insertions(+), 1 deletion(-) *** syncing pentoo *** synced pentoo * Sync succeeded |