Monthly Shaarli

All links of one month in a single page.

June, 2020

Multiline editing in Visual Studio Code - Stack Overflow
thumbnail

CTRL-K CTRL S (Keyboards shortcuts)
editor.action.toggleColumnSelection (ALT-SHIFT-M)

Monter rapidement un environnement pour Python - Blog de Norore

pip freeze > requirements.txt

Je ne connaissais pas cette commande, top !

Se connecter à un serveur WebDAV sous Linux, macOS ou Windows
thumbnail

Simple comme bonjour mais impossible à retenir d'une fois à l'autre ... Memo pour plus tard !

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é.

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