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
.