Un script pour garder un journal quotidien depuis son Terminal, avec un fichier todo… À voir.

Je découvre le Djot. Lancé en juillet 2022 par l'auteur de Pandoc John McFarlane. C'est un langage de balisage léger dans le style de Markdown. Sur le site, on trouve tout ce qu'il faut pour que Pandoc puisse utiliser le Djot.

Encore un outil en ligne pour réorganiser un PDF facilement : ajouter/enlever/pivoter/mélanger les pages…

Un client Mastodon dans un terminal. Un peu technique quand même…

Je découvre ce site d'une professeure de français en collège avec de nombreuses idées de jeux et d'acitivités pour étudier la langue en classe.
Sacré boulot !

Des idées pour développer le travail en autonomie des élèves.

Apprendre (la programmation) avec des jeux : de nombreux exemples, de nombreux langages (Ruby, Javascript, SQL, Python…) mais aussi CSS, Git, Regex, commandes Linux…
Une belle liste ! Merci !

Des explications complètes d'Alsacréations sur le pré-chargement de données dans une page HTML.

Je n'en ai pas forcément besoin, mais j'aime bien : gérer son temps en ligne de commande.
Et la présentation par @seboss666 est très bien :)

Moderniser un peu sa console Linux, c'est possible :
10 outils en ligne de commande :

• lsd : alternative à ls
• bat : alternative à cat
• zoxyde : pour naviguer rapidemment dans les dossiers/fichiers
• fzf : avec celui du dessus
• mcfly : alternative à ctrl+r
• ag : genre de grep
• ripgrep : encore un grep
• curlie : alternative à curl
• jq : manipluer du JSON
• fx : la commande less pour du JSON long

Et des applications «consoles», dans le terminal :

• lazygit
• nnn : explorateur de fichier (j'utilise ranger pour le moment)
• broot : remplacerait «tree»
• micro : éditeur de texte

Des outils présentés par @Korben pour flouter les visages sur une photo. Je conserve.

Je découvre le Mobiloscope suite à cet article : https://theconversation.com/le-mobiliscope-un-outil-libre-sur-les-rythmes-quotidiens-des-territoires-192204

Des cartes interactives pour explorer qui fréquente certains quartiers, les moyens de transport les plus utilisés, en fonction de l'heure de la journée…

Du CSS pour affecter un style à l'élément parent en fonction du nombre d'enfants.

Quelques raccourcis claviers (que j'oublie souvent) pour mieux profiter de la ligne de commande:
CTRL+A : aller au début de la ligne
ALT+B : reculer d'1 mot
CTRL+E : aller à la fin de la ligne
ALT+F : avancer d'1 mot
CTRL+J : équivalent de BACKSPACE (effacer le caractère précédent)
CTRL+K : équivalent de DELETE (supprimer le caractère suivant)

Une aide pour ré-installer Firefox depuis les paquets DEB au lieu des SNAP. Je ne l'ai pas (encore ?) fait, mais je le garde sous le coude.

@korben présente quelques outils de correction orthographique (et grammaticale ?) qui peuvent s'avérer pratiques.

Les gratuits :
BonPatron : https://bonpatron.com/fr/
Merci-app : https://www.merci-app.com/ (extension Chrome/Firefox/Edge, mais testable en ligne)

Logiciel peut-être pratique (je n'ai pas testé) pour renommer et classer ses photos dans des dossiers créés automatiquement à partir des données Exif. Les noms sont paramétrables grâc à des filtres personnalisables.

Découvert ici : https://diaspodon.fr/@restach/109335984449352895 (merci !)

Des jeux mathématiques gratuits, sans publicité, pour les élèves de primaire Réalisé par des enseignant⋅e⋅s.
Découvert grâce aux Outils Tice ici : https://outilstice.com/2022/11/pixeludo-plateforme-jeux-gratuits-en-ligne-pour-apprendre/

Lister les emojos d'une instance Mastodon.

Une conférence de Pascal Martin pour mieux comprendre les principes de PHP.