summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'lua.txt')
-rw-r--r--lua.txt11
1 files changed, 9 insertions, 2 deletions
diff --git a/lua.txt b/lua.txt
index 509a14148939..d1a53402292c 100644
--- a/lua.txt
+++ b/lua.txt
@@ -14,10 +14,17 @@
'status': 'official'}
$ pmaint sync lua
WARNING:pkgcore:repository at '/home/mgorny/sync/steveeJ' has unsupported profile format(s): 'profile-set'
-Already up-to-date.
+fatal: read error: Connection reset by peer
+*** syncing lua
+*** failed syncing lua
+ * Sync failed with 1
+ * Will try to re-create
+$ pmaint sync lua
+WARNING:pkgcore:repository at '/home/mgorny/sync/steveeJ' has unsupported profile format(s): 'profile-set'
+Cloning into '/home/mgorny/sync/lua'...
*** syncing lua
*** synced lua
- * Sync succeeded
+ * Sync succeeded after re-adding
$ pmaint regen --use-local-desc --pkg-desc-index -t 1 lua
WARNING:pkgcore:repository at '/home/mgorny/repos/steveeJ' has unsupported profile format(s): 'profile-set'
WARNING:pkgcore:repository at '/home/mgorny/repos/steveeJ' has unsupported profile format(s): 'profile-set'