1416 links
  • Animal
  • Home
  • Login
  • RSS Feed
  • ATOM Feed
  • Tag cloud
  • Picture wall
  • Daily
Links per page: 20 50 100
page 1 / 1
2 results tagged Répo x
  • How to Migrate a Git Repository | GerritForge Blog

    Pour mémoire je remet la manip ici.

    Je souhaitais pouvoir transférer l'intégralité d'un répo d'un serveur à un autre (branches, tags, ...).

    1) Je clone le répo en local sur mon PC :

    git clone --mirror https://USERNAME:PASSWORD@URL_REPO_SOURCE

    Ca donne un répertoire dont le nom se finit en ".git".

    Note : Les USERNAME et PASSWORD ne sont nécessaires que si une configuration globale contenant d'autres credential a été sauvegardée. De plus, le répo sera créé avec ces credentials apparaissant en clair dans le remote (git remote -v). Attention donc aux indiscrétions ...

    Pour mettre ce répo à jour par la suite (en tirant les changements depuis ce remote) :

    git remote update

    2) Je crée un répo vide dans le serveur cible. Vraiment vide, ie sans même le fichier README.md qui peut être créé à l'initialisation du répo.

    3) Je pousse vers le répo cible :

    Normalement, on devrait pouvoir faire ceci :

    git push --mirror https://URL_REPO_CIBLE

    Mais ça n'a pas fonctionné quand j'ai testé. L'erreur donnée par git dit que l'API distante est injoignable.

    Bref. Sinon ça marche aussi comme ça :

    git push --all https://URL_REPO_CIBLE
    git push --tags https://URL_REPO_CIBLE

    Il faudra que je vérifie que ces deux commandes push (--all et --tags) envoient bien toutes les datas vers le répo cible.

    Fri Apr 3 19:05:38 2020 * - permalink -
    QRCode
    - https://gitenterprise.me/2016/03/30/how-to-migrate-a-git-repository/
    Complet Git Mirror Répo Transfert
  • How to fix missing dirmngr

    Besoin :

    Je veux ajouter un certificat SSL à mon apt.

    Procédure :

    Je lance la commande suivante (en adaptant les valeurs) :

    apt-key adv --keyserver keyring.debian.org --recv-keys 0x1827364554637281

    Problème :

    J'obtiens le message d'erreur suivant dans la console :

    Executing: /tmp/apt-key-gpghome.jm0CXrmSHQ/gpg.1.sh --keyserver keyring.debian.org --recv-keys 0x1827364554637281
    gpg: failed to start the dirmngr '/usr/bin/dirmngr': No such file or directory
    gpg: connecting dirmngr at '/tmp/apt-key-gpghome.jm0CXrmSHQ/S.dirmngr' failed: No such file or directory
    gpg: keyserver receive failed: No dirmngr

    La partie importante est No dirmngr.

    Remède :

    Il faut installer l'outil dirmngr :

    sudo apt install dirmngr

    La commande d'ajout du certificat peut alors être lancée.

    Thu Nov 15 14:22:05 2018 * - permalink -
    QRCode
    - https://blog.sleeplessbeastie.eu/2017/11/02/how-to-fix-missing-dirmngr/
    Apt Certificat Dirmngr Installation Répo TroubleShooting
Links per page: 20 50 100
page 1 / 1
Shaarli - The personal, minimalist, super-fast, database free, bookmarking service by the Shaarli community - Help/documentation