Re: de toute façon ce sont des cons chez freedesktop

Tout comme les fichiers de pid ont leur place dans /var/run.

Absolument, mais ça posait des problèmes, résolus par l'ajout d'un répertoire directement sous la racine. Ce répertoire a en outre l'avantage d'avoir réellement un sens, /var étant plutôt conçu pour des données conservées entre les démarrages — voir par exemple /tmp et /var/tmp.

Je ne connais pas les raisons qui ont poussé à placer les fichiers PID dans /run.

Aucune, ou en tout cas aucune exprimée. Si tu lis le commit qui a introduit ce changement, et le rapport de bug effectué à ce sujet, tu pourras remarquer qu'aucun, absolument aucun argument n'est indiqué pour justifier l'utilisation de /run/media. Ça n'a ni intérêt ni sens.

mais je ne vois pas l'intérêt que les dossiers de /media et /mnt soient persistants

Alors, /mnt c'est clairement fait pour les montages manuels temporaires, qui ne regardent que l'utilisateur, donc c'est hors sujet ici. Pour /media, on peut imaginer un script qui le nettoie au démarrage, en retirant tout les sous-répertoires non mentionnés dans /etc/fstab, vides ou ne contenant qu'un fichier indiquant qu'ils ont été créés par un automonteur, et appartenant à un simple utilisateur. Rien de bien compliqué à faire.

C'est le cas de /run d'une manière général et ça ne l'empêche pas d'être intégré à Debian (tout comme pulseaudio ou tous les *kit qu'il a créé au part avant).

Alors, pour /run, il y a une différence majeure : c'est utile. /run/media, c'est inutile, en tout cas on peut le présumer puisque quand on demande aux développeurs amont de justifier cela, ils en sont incapables. Mais ce n'est pas un problème, nettoyer les saletés de certains développeurs amont, on a l'habitude, dans Debian.