diff options
author | Repository mirror & CI <repomirrorci@gentoo.org> | 2019-11-08 03:25:19 +0000 |
---|---|---|
committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2019-11-08 03:25:19 +0000 |
commit | f138d23dbf887f22f23a4ddac2b74979a5fbff6a (patch) | |
tree | f1ae4a4da9967fcff095705d2cfa6cc48a9e1eea /ArtSoftware.txt | |
parent | 2019-11-08T02:40:01Z (diff) | |
download | repos-f138d23dbf887f22f23a4ddac2b74979a5fbff6a.tar.gz repos-f138d23dbf887f22f23a4ddac2b74979a5fbff6a.tar.bz2 repos-f138d23dbf887f22f23a4ddac2b74979a5fbff6a.zip |
2019-11-08T03:20:01Z
Diffstat (limited to 'ArtSoftware.txt')
-rw-r--r-- | ArtSoftware.txt | 17 |
1 files changed, 8 insertions, 9 deletions
diff --git a/ArtSoftware.txt b/ArtSoftware.txt index da1aa337e8d7..277ef0a9c3e8 100644 --- a/ArtSoftware.txt +++ b/ArtSoftware.txt @@ -8,15 +8,14 @@ 'source': [{'type': 'git', 'uri': 'http://git.art-software.fr/ArtSoftware/portageLocalRepo.git'}], 'status': 'unofficial'} -$ pmaint sync ArtSoftware -fatal: unable to access 'http://git.art-software.fr/ArtSoftware/portageLocalRepo.git/': Failed to connect to git.art-software.fr port 80: Connection timed out -*** syncing ArtSoftware -*** failed syncing ArtSoftware - * Sync failed with 1 - * Will try to re-create + * Adding new repository $ pmaint sync ArtSoftware Cloning into '/var/lib/repo-mirror-ci/sync/ArtSoftware'... -fatal: unable to access 'http://git.art-software.fr/ArtSoftware/portageLocalRepo.git/': Failed to connect to git.art-software.fr port 80: Connection timed out +warning: redirecting to https://git.art-software.fr/ArtSoftware/portageLocalRepo.git/ *** syncing ArtSoftware -*** failed syncing ArtSoftware - * Sync failed again with 1, removing +*** synced ArtSoftware + * Sync succeeded +$ git log --format=%ci -1 +$ git show -q --pretty=format:%G? HEAD +$ pmaint regen --use-local-desc --pkg-desc-index -t 1 ArtSoftware + * Cache regenerated successfully |