1
Làm cách nào để mở rộng tên tệp?
Cho ~/foo/bar, tôi có thể nhận được /home/sds/foo/barbằng cách sử dụng expand-file-name. Tuy nhiên, được đưa ra /Users/sds/foo/bar, làm thế nào để tôi nhận được ~/foo/bar? Ca sử dụng: Tôi muốn sao chép một tập tin giữa các máy tính và chúng có các đường dẫn vật lý khác nhau …