Wie entferne ich einen Dateinamen?
Gegeben ~/foo/bar, kann ich bekommen /home/sds/foo/barmit expand-file-name. Angesichts der Tatsache /Users/sds/foo/bar, wie bekomme ich ~/foo/bar? Anwendungsfall: Ich möchte eine Datei zwischen Computern kopieren und sie haben unterschiedliche physische Pfade zu meinem