576 liens privés
f*ck GitHub !
Obligé de passer par un site externe pour télécharger juste le dossier d'un repo ; il me semblait qu'avant c'était faisable directement…
Edition 2024-02-06T14:57 (pour « un lecteur. » ;-) ) :
- Mon but est de récupérer un dossier du thème du générateur de site statique Pelican (oui : j'ai craqué, j'ai acheté cet automne un 3e site web :-D ). En outre, autant je peux récupérer tooooooooous les thèmes répertoriés à cet emplacement via le bouton vert
[Code]>[Download ZIP], autant je ne vois rien de tel dans un sous-répertoire dudit dépôt : https://github.com/getpelican/pelican-themes/tree/master/bootlex … - J'ai essayé de me connecter ; ça n'a rien changé. J'ai essayé de changer l'adresse en remplaçant
/tree/master/…par/trunk/…mais rien n'y fait non plus…
Edition 2024-02-06T17:59 — visiblement mon coup-de-gueule soulève des envies d'aide ; c'est gentil-tout-plein !
J'ai oublié de mentionner que je voulais télécharger vraiment un sous-dossier d'un répo, ceci sans cloner le repo ou faire de commande git. Genre vraiment un visiteur lambda sur internet qui veut cueillir juste un bout de dossier (voire même un fichier en particulier) dans un dépôt particulier de GitHub.
Cf le lien que j'ai donné juste au-dessus vers le thème bootlex.
Après pas mal de galère, voici les différentes étapes pour
- passer d'un dépôt fossil local,
- l'exporter sous un format importable dans Git,
- transformer le nom de la branche principale ainsi que le nom de l'utilisateur
- et ensuite pousser tout cela dans un dépôt GitLab.
Hypothèse : un seul utilisateur et une seule branche initiaux.
git config --global user.name "Toto Tata"
git config --global user.email "toto.tata@example.fr"
ssh-keygen -t rsa -N '' -f ~/.ssh/id_rsa -C toto.tata@example.fr
cat - <<EOF > ~/.ssh/config
Host git.example-serveur.lan
Port 2294
User git
EOF
Ajouter la clef SSH (partie publique) dans l'interface Gitlab (http://git.example-serveur.lan/profile/keys
cat ~/.ssh/id_rsa.pub
mkdir repo-example
cd repo-example
git init
fossil export --git ../alstom-repo | git fast-import
git branch -m trunk master
git checkout master
git filter-branch --commit-filter 'GIT_AUTHOR_NAME="Toto Tata" GIT_AUTHOR_EMAIL="toto.tata@example.fr" GIT_COMMITTER_NAME="Toto Tata" GIT_COMMITTER_EMAIL="toto.tata@example.fr" git commit-tree "$@"'
git remote add origin git@git.example-serveur.lan:Projet-example/repo-example.git
git push -u origin master