Weekly Shaarli

All links of one week in a single page.

Week 23 (June 1, 2020)

How effectively delete a git submodule.
thumbnail

Supprimer submodule git, jamais simple à faire de mémoire ^^

To remove a submodule you need to:

  • Delete the relevant section from the .gitmodules file.
  • Stage the .gitmodules changes git add .gitmodules
  • Delete the relevant section from .git/config.
  • Run git rm --cached path_to_submodule (no trailing slash).
  • Run rm -rf .git/modules/path_to_submodule (no trailing slash).
  • Commit git commit -m "Removed submodule"
  • Delete the now untracked submodule files rm -rf path_to_submodule
Monter rapidement un environnement pour Python - Blog de Norore

pip freeze > requirements.txt

Je ne connaissais pas cette commande, top !

8 Minutes and 46 Seconds: How George Floyd Was Killed in Police Custody [Video] - The New York Times
thumbnail

Poignant.
Un excellent travail journalistique pour révéler la vérité.