[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: file-equal-p
From: |
Po Lu |
Subject: |
Re: file-equal-p |
Date: |
Fri, 17 Feb 2023 15:07:20 +0800 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Eli Zaretskii <eliz@gnu.org> writes:
> It takes non-zero CPU time.
>
> Anyway, why would you object to a simple request to re-arrange your
> change slightly? I don't understand why such a simple request needs
> several messages to discuss, even if you don't consider the request
> necessary? Don't we both have more useful things to invest our time?"
I was afraid I was missing something more significant about
file-available-p.
Anyway, how's this:
diff --git a/lisp/files.el b/lisp/files.el
index b0ec6bb09d0..5b989902bc3 100644
--- a/lisp/files.el
+++ b/lisp/files.el
@@ -6360,7 +6360,18 @@ file-equal-p
(let (f1-attr f2-attr)
(and (setq f1-attr (file-attributes (file-truename file1)))
(setq f2-attr (file-attributes (file-truename file2)))
- (equal f1-attr f2-attr))))))
+ (progn
+ ;; Haiku systems change the file's last access timestamp
+ ;; every time `stat' is called. Make sure to not compare
+ ;; the timestamps in that case.
+ (or (equal f1-attr f2-attr)
+ (when (and (eq system-type 'haiku)
+ (consp (nthcdr 4 f1-attr))
+ (consp (nthcdr 4 f2-attr)))
+ (ignore-errors
+ (setcar (nthcdr 4 f1-attr) nil)
+ (setcar (nthcdr 4 f2-attr) nil))
+ (equal f1-attr f2-attr)))))))))
(defun file-in-directory-p (file dir)
"Return non-nil if DIR is a parent directory of FILE.
- file-equal-p, Po Lu, 2023/02/15
- Re: file-equal-p, Eli Zaretskii, 2023/02/16
- Re: file-equal-p, Po Lu, 2023/02/16
- Re: file-equal-p, Eli Zaretskii, 2023/02/16
- Re: file-equal-p, Po Lu, 2023/02/16
- Re: file-equal-p, Eli Zaretskii, 2023/02/16
- Re: file-equal-p, Po Lu, 2023/02/16
- Re: file-equal-p, Eli Zaretskii, 2023/02/16
- Re: file-equal-p, Po Lu, 2023/02/16
- Re: file-equal-p, Eli Zaretskii, 2023/02/17
- Re: file-equal-p,
Po Lu <=
- Re: file-equal-p, Eli Zaretskii, 2023/02/17
- Re: file-equal-p, Po Lu, 2023/02/17
- Re: file-equal-p, Andreas Schwab, 2023/02/16
- Re: file-equal-p, Po Lu, 2023/02/16
- Re: file-equal-p, Michael Albinus, 2023/02/16
- Re: file-equal-p, Po Lu, 2023/02/16
- Re: file-equal-p, Eli Zaretskii, 2023/02/16
Re: file-equal-p, Richard Stallman, 2023/02/16