[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#65763: Error opening a file from a Git working directory if Git is n
From: |
Eli Zaretskii |
Subject: |
bug#65763: Error opening a file from a Git working directory if Git is not installed |
Date: |
Sun, 10 Sep 2023 20:52:27 +0300 |
> From: Paul Pogonyshev <pogonyshev@gmail.com>
> Date: Sun, 10 Sep 2023 19:36:47 +0200
> Cc: Dmitry Gutov <dmitry@gutov.dev>, monnier@iro.umontreal.ca,
> 65763@debbugs.gnu.org
>
> - ((setq backend (with-demoted-errors "VC refresh error: %S"
> - (vc-backend buffer-file-name)))
> + ((setq backend (let (debug-on-error)
> + (with-demoted-errors "VC refresh error: %S"
> + (vc-backend buffer-file-name))))
>
> From my experience, you should always comment such things. Or add an
> automated test ensuring it.
> Or even better, do both. It is extremely non-obvious why this is needed at
> all and someone can easily
> undo your changes a few years later.
Yes, if this (or anything like it) goes in, we will comment it. We
just haven't yet decided whether this will be the solution.
- bug#65763: Error opening a file from a Git working directory if Git is not installed, (continued)
- bug#65763: Error opening a file from a Git working directory if Git is not installed, Paul Pogonyshev, 2023/09/06
- bug#65763: Error opening a file from a Git working directory if Git is not installed, Dmitry Gutov, 2023/09/06
- bug#65763: Error opening a file from a Git working directory if Git is not installed, Paul Pogonyshev, 2023/09/06
- bug#65763: Error opening a file from a Git working directory if Git is not installed, Dmitry Gutov, 2023/09/06
- bug#65763: Error opening a file from a Git working directory if Git is not installed, Eli Zaretskii, 2023/09/06
- bug#65763: Error opening a file from a Git working directory if Git is not installed, Dmitry Gutov, 2023/09/06
- bug#65763: Error opening a file from a Git working directory if Git is not installed, Eli Zaretskii, 2023/09/10
- bug#65763: Error opening a file from a Git working directory if Git is not installed, Dmitry Gutov, 2023/09/10
- bug#65763: Error opening a file from a Git working directory if Git is not installed, Eli Zaretskii, 2023/09/10
- bug#65763: Error opening a file from a Git working directory if Git is not installed, Paul Pogonyshev, 2023/09/10
- bug#65763: Error opening a file from a Git working directory if Git is not installed,
Eli Zaretskii <=
- bug#65763: Error opening a file from a Git working directory if Git is not installed, Eli Zaretskii, 2023/09/06