All links of one day
in a single page.
<Previous day - Next day>

rss_feedDaily RSS Feed
floral_left The Daily Shaarli floral_right
——————————— April 3, 2020 - Friday 03, April 2020 ———————————
LeMaire - Luxfer - Bouteilles - Oxygène - Nationalisation - Pénurie -

Le faible espoir d'une lueur d'humanité chez les parasites qui nous gouvernent n'aura pas duré longtemps.

Vautour un jour, Vautour toujours.

Fouloscopie - Réseaux - Graphes -

Je découvre cette chaine Fouloscopie, et je suis déjà fan. Il étudie les comportement de masse (foules, troupeaux, réseaux, ...) et c'est très intéressant.

Et je sens que je vais tout regarder très vite :D

Git - Transfert - Répo - Complet - Mirror -

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.

UPR - Cuba - France - Aide - Médicale - Médecins - Coronavirus - DOM - TOM -

Je discutais aujourd'hui avec un collègue de la suppression des cotisations maladie des fiches de paie depuis janvier 2019, ce qui a dû (de mémoire) me faire gagner quelque chose comme 40 ou 50 euros brut, soit environ 20 euros net par mois. C'est vraiment se foutre du monde que de prétendre augmenter le niveau de vie des gens en supprimant des cotisations. Surtout quand on sait que le système de santé était financé grâce à cette cotisation.

Faut-il être con pour soutenir que la privatisation des services publics est la meilleure solution, la plus rentable, la plus efficace.

Et maintenant on va aller quémander de l'aide à des pays sur lesquels le gouvernement et la presse "mainstream" passent leur temps à cracher leur venin.

Aux ayatollah du libéralisme, aux eurobéats fanatiques, aux partisans de la responsabilisation individuelle et de la rationalisation compulsive : allez donc tous lécher des barres de métro, vous rendrez service à l'humanité !

-