diff options
| author | jsmall-nvidia <jsmall@nvidia.com> | 2022-12-02 11:47:48 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-02 08:47:48 -0800 |
| commit | fcffce79de7a16ae66226ccdafb41f1b3afddc25 (patch) | |
| tree | 29c78e8d38db85877ce59ef2a212a056f5c1d3fc | |
| parent | e9b7c66a541636e72659fbfcc9a3f20a85f2bee8 (diff) | |
Disable end of line trim in .editorconfig (#2546)
* #include an absolute path didn't work - because paths were taken to always be relative.
* Disable end of line whitespace.
| -rw-r--r-- | .editorconfig | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/.editorconfig b/.editorconfig index 9541b4ebe..9c684d303 100644 --- a/.editorconfig +++ b/.editorconfig @@ -29,9 +29,8 @@ indent_size = 4 # insert_final_newline = true -# Remove any extra whitespace characters at the -# end of a line. This is just for tidyness, to -# minimize the chances of introducing whitspace -# diffs that are hard to spot. -# -trim_trailing_whitespace = true +# Removing end of line whitespace is somewhat desirable, but +# seems to add unwanted noise to PRs. This is especially when different +# contributors source editors may or may not honor this setting. +# So disable for now. +trim_trailing_whitespace = false |