Astuces en vrac

Cette page va servir de fourre-tout pour plein d'astuces sympas, de petits scripts plus ou moins utiles, ce genre de trucs que je sais jamais où mettre mais qui peuvent sauver la vie.

Archiver tout un site web localement

URL="https://example.org"
OUT=./example_org_archive
mkdir $OUT
wget —mirror -p —convert-links -P $OUT $URL

Transformer ses stars GitHub en fichier liste Markdown

Utilisé pour générer cette page

#!/usr/bin/env bash

for i in $(seq $1); do
  curl -u $2:$3 -s "https://api.github.com/users/$2/starred?page=$i&per_page=100" > stars.json
  cat stars.json | jq '.[] | "- [" + .full_name + "](" + .html_url + "), " + .description' | sed 's/"//g'
done
rm stars.json

Utilisation :

./stars.sh nombre_de_pages votre_user_name token_perso > stars.md

où :

• nombre_de_pages est le nombre de pages qui seront chargés au maximum, une page contenant 100 projets, vous pouvez calculer facilement combien ils vous faut de pages en fonction de combien de stars vous avez actuellement ;
• votre_user est votre nom sur github (votre @, pas le nom affiché)
• token_perso est un token d'accès personnel (Menu en haut à droite, Settings, Developer settings, Personnal Access Token, New token, et vous le copier)

Vous pouvez vous passez du token si vous avez moins de 6000 stars (ce qui est sans doute le cas en vrai), il faudra juste enlever le -u $2:$3 dans la commande curl.