Quelques options intéressantes pour grep :
grep -i bananas foo.txt: insensible à la cassegrep -C 3 bananas foo.txt: affiche 3 lignes avant et après chaque match (-A pour uniquement après, -B pour uniquement avant)grep -v bananas foo.txt: n'affiche que les lignes qui ne matchent pas
7zip 18.05 est de sortie.
J'adore cet outil. Il est léger. Il fait son job, uniquement son job, et il le fait bien.
C'est vrai que la fonctionnalité de partage d'Android est devenue lente à souhait... C'est dommage parce que c'est l'une des grande forces d'Android par rapport à iOS.
De l'optimisation par les headers HTTP.
Vous voulez devenir web developer ? Voilà un guide qui vous expliquera par quoi commencer et avec quoi continuer. C'est très complet !
Hmm... Dur de trancher sur cette question.
Un outil d'Alsacréations qui fournit plein d'infos sur l'appareil que vous utilisez actuellement (PC, smartphone, etc.).
Plein d'astuces pour faciliter le debugging d'applications web avec les outils de développement de Chrome/Chromium.
Sous le coude.
Une petite librairie Javascript + CSS pour afficher une barre de chargement tout en haut de la page un peu à la manière de ce que font Github ou Youtube.
Des musiques de qualité libres de droits.
Via https://korben.info/de-la-musique-de-qualite-sous-licence-libre-pour-vos-projets.html
Un outil pour organiser sa bibliothèque de jeux vidéos.
Intéressant, je ne connaissais pas cet élément <wbr> qui permet de choisir où tronquer les mots lorsqu'ils sont trop longs pour leur conteneur.
Quelques bonnes pratiques pour la création d'APIs.
Un carrousel Javascript ES6 sans dépendance, léger et et blindé d'options.