-
-
Notifications
You must be signed in to change notification settings - Fork 15.5k
pkgs/*: add final newline to multiple files #102950
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
@@ -1,3 +1,3 @@ | |||
* Build the RTS separately from Idris | |||
* idris2nix | |||
* Only require gmp, rts when compiling executables |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
GitHub does not show the final missing new line here. Maybe an error?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Seems to be a GitHub issue, the newline change shows up in Git.
The last commit fixes the failing editorconfig check. |
What's the motivation for this? |
1efe729
to
da0f8c6
Compare
Ugh I somehow commited a testing branch full of generated files, this pr changes way fewer files now. |
@infinisil
|
git can't generate good diffs of last lines without a new line behind it. |
Done by running
sed -i '$a\' $(fd -t f)
and selectively commiting the changed files. I made sure not to commit binary files, crypto keys, .patch/.diff files and files created via update scripts.I seperated the changes by file type to make this easier to review.
Motivation for this change
Things done
sandbox
innix.conf
on non-NixOS linux)nix-shell -p nixpkgs-review --run "nixpkgs-review wip"
./result/bin/
)nix path-info -S
before and after)