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

rss_feedDaily RSS Feed
floral_left The Daily Shaarli floral_right
——————————— August 24, 2018 - Friday 24, August 2018 ———————————
steam -

Une base de données recoupant tous les bons deals du moment sur Steam :)

Tout à propos de ce générateur de documentation permettant de convertir un fichier text en HTML, PDF ou autre format (type Sphynx, pour les connaisseurs)

git -

Une discussion sympa sur un des trucs que j'oublie trop souvent: comment annuler des changements faits sur un repo git. En résumé:

  • git reset: modifie l'index, par exemple retire un fichier en statut "added" et le remet à "modified"
  • git reset --hard: annule les modifications apportées au repo et ramène tout à son état précédant vos dernières modifications non commitées
  • git revert: permet de remettre le repo dans un stade avant un commit donné (ex: "git revert f9ae53ad" va annuler les modifications faites dans le commit f9ae53ad)
  • git clean -f: retire toute modification non traquée pour fichiers (p. ex. annule la création d'un nouveau fichier dans le repo)
  • git clean -fd: retire toute modification non traquée pour fichiers et dossiers (p. ex. annule la création d'un nouveau répertoire dans le repo)
-