Par défaut, Linux Mint n'alloue que quelques centaines de Mo pour la partition /boot, qui contient les différentes versions du noyau installées sur la machine. Si bien que rapidement, cette partition est pleine et on ne peut plus faire les mise à jour du noyau …

Deux astuces trouvées sur le net (je n'en ai testé aucune) :

$ sudo apt autoremove --purge

ou ça

OLDCONF=$(dpkg -l|grep "^rc"|awk '{print $2}')
CURKERNEL=$(uname -r|sed 's/-*[a-z]//g'|sed 's/-386//g')
LINUXPKG="linux-(image|headers|ubuntu-modules|restricted-modules)"
METALINUXPKG="linux-(image|headers|restricted-modules)-(generic|i386|server|common|rt|xen)"
OLDKERNELS=$(dpkg -l|awk '{print $2}'|grep -E $LINUXPKG |grep -vE $METALINUXPKG|grep -v $CURKERNEL)
YELLOW="\033[1;33m"
RED="\033[0;31m"
ENDCOLOR="\033[0m"
sudo apt-get purge $OLDKERNELS

Attention, la deuxième option ne va laisser qu'un seul noyau (le dernier) sur la machine. C'est rarement ce qu'on veut …

Attention, ça ne marche que si le changement avait été git add avant:

find .git/objects/ -type f -printf '%TY-%Tm-%Td %TT %p\n' | sort

ça va afficher la liste des objets crées par git, classés par ordre alphabétique. (un objet par fichier par action de add) du coup en connaissant l'heure à laquelle on a fait le git add, on peut faire un git show sur le sha1 de l'objet (il faut enlever le dernier / pour avoir le sha1 : .git/objects/d7/d09d53854b6a5e0491aa8acaff653729b20819 => d7d09d53854b6a5e0491aa8acaff653729b20819).

Par contre, vous ne saurez pas à quel fichier chaque truc correspond, il faudra faire le mapping à la main. Et pour restaurer chaque fichier individuellement : git show sha1_de_lobjet > chemin/vers/mon/fichier.rs

Astuce trouvée dans ce post stackoverflow que j'avais bookmarké il y a des années !

Une bonne UX peut vous sauver les fesses.

Putain, je découvre ça que maintenant !

Après avoir galéré plusieurs fois (une fois tous les 2-3 ans) à essayer de partager ma connexion wifi en filaire à coup d'incantations obscures d'iptables (qui ne marchent jamais ou en tout cas pas avant d'y avoir passé 1h), j'apprends que networkmanager l'outil graphique par défaut de gestion du réseau sous Debian & dérivés, a une option en 2 clic pour faire ça !

for i in *.JPG; do convert -strip -interlace Plane -quality 80 $i progressive-jpeg/$i; done

Pour fusionner 2 PDF (avec ghostscript, probablement déjà installé sur la machine)

gs -q -sPAPERSIZE=letter -dNOPAUSE -dBATCH -sDEVICE=pdfwrite -sOutputFile=output.pdf file1.pdf file2.pdf file3.pdf ...

rename 's/(\w+)\.JPG/$1.jpg/' *.JPG

Sur le serveur :

Avoir un démon SSH qui tourne.

Sur le client :

Ajouter sa clé publique au serveur distant: explication déjà donnée ici

Installer sshfs

$ sudo apt-get install sshfs

Créer le point de montage

$ mkdir <le point de montage>

Monter le répertoire distant

$ sshfs <user>@<host>:<chemin du répertoire distant> <chemin du point de montage>

Tada ! 🎉 Ça marche, on peut aller directement dans le dossier distant via son explorateur de fichier favori.

Edit:

Pour démonter le volume: fusermount -u <chemin du point de montage>

Les appareils photos utilisent des méta-données (EXIF) pour enregistrer l'orientation selon laquelle est prise une photo (portrait ou paysage globalement). Le problème, c'est que si certains logiciels de visionnage de photo lisent correctement ce format, ce n'est pas le cas des navigateurs webs. Du coup si vous prenez une photo en mode portrait avec un appareil photo, et que vous la postez sur le web, elle sera affichée sur le côté. Il y a bien une propriété CSS qui permet de dire au navigateur de l'afficher correctement, mais à l'heure actuelle seul Firefox la supporte …

Pour éviter ce problème, il vaut mieux changer l'orientation de l'image en dur (et pas juste via les méta-données).

Le logiciel jhead fait ça très bien, en lisant l'orientation EXIF et en changeant l'orientation de l'image pour être cohérent avec cette donnée. Et c'est super simple à utiliser :

$ sudo apt-get install jhead
$ jhead -autorot monficher.jpg

C'est pas bête comme remarque, c'est effectivement assez dur d'avoir des commentaires pertinents. Demander des conseils peut aider les gens à se lâcher.