1
Comment décompresser un nom de fichier?
Étant donné ~/foo/bar, je peux /home/sds/foo/barutiliser expand-file-name. Cependant, étant donné /Users/sds/foo/bar, comment puis-je obtenir ~/foo/bar? Cas d'utilisation: je veux copier un fichier entre des ordinateurs et ils ont des chemins physiques différents vers mon répertoire personnel.