From ead3b7170f042fdd63ca1dbb84b7892869409052 Mon Sep 17 00:00:00 2001 From: Repository mirror & CI Date: Fri, 23 Aug 2019 15:45:42 +0000 Subject: 2019-08-23T15:40:01Z --- pentoo.html | 32 ++++++++------------------------ 1 file changed, 8 insertions(+), 24 deletions(-) (limited to 'pentoo.html') diff --git a/pentoo.html b/pentoo.html index 723716813f2f..fb358a500cfa 100644 --- a/pentoo.html +++ b/pentoo.html @@ -34,37 +34,21 @@ 12
$ pmaint sync pentoo
 
- 13
From https://github.com/pentoo/pentoo-overlay
+            13
Already up to date.
 
- 14
   490c0e1ac..88b2e61f7  master     -> origin/master
+            14
*** syncing pentoo
 
- 15
Updating 490c0e1ac..88b2e61f7
+            15
*** synced pentoo
 
- 16
Fast-forward
+            16
 * Sync succeeded
 
- 17
 profiles/pentoo/base/package.license    | 1 -
+            17
$ git log --format=%ci -1
 
- 18
 profiles/pentoo/overlay/package.license | 1 -
+            18
$ git show -q --pretty=format:%G? HEAD
 
- 19
 2 files changed, 2 deletions(-)
+            19
$ pmaint regen --use-local-desc --pkg-desc-index -t 1 pentoo
 
- 20
 delete mode 100644 profiles/pentoo/base/package.license
-
- 21
 delete mode 120000 profiles/pentoo/overlay/package.license
-
- 22
*** syncing pentoo
-
- 23
*** synced pentoo
-
- 24
 * Sync succeeded
-
- 25
$ git log --format=%ci -1
-
- 26
$ git show -q --pretty=format:%G? HEAD
-
- 27
$ pmaint regen --use-local-desc --pkg-desc-index -t 1 pentoo
-
- 28
 * Cache regenerated successfully
+            20
 * Cache regenerated successfully
 
-- cgit v1.2.3-65-gdbad