Skip to content

Added option for port and formatted file#40

Open
vherrmann wants to merge 1 commit intoMatthewCroughan:masterfrom
vherrmann:master
Open

Added option for port and formatted file#40
vherrmann wants to merge 1 commit intoMatthewCroughan:masterfrom
vherrmann:master

Conversation

@vherrmann
Copy link

If you want I can change the commit so that the format isn't affected. Though I personally like the strict formatting of nixfmt.

@MatthewCroughan
Copy link
Owner

The formatting is a bit aggressive, if you get rid of the formatting I'll accept this.

@vherrmann
Copy link
Author

Does the pr fit your expectations now?

@MatthewCroughan
Copy link
Owner

This breaks the tests, not sure why, you can reproduce the tests locally with nix flake check -L

@vherrmann
Copy link
Author

I accidentally removed a parenthesis.

@pbek
Copy link

pbek commented Jun 11, 2023

Any news on merging this PR? Being able to use different SSH ports (like I do) would be great. 😅

@mirquee
Copy link

mirquee commented Nov 27, 2025

@MatthewCroughan I'd very much appreciate you merging this PR.

@vherrmann
Copy link
Author

vherrmann commented Nov 27, 2025

I removed the merge commit with a rebase just now, such that the main repos history isn't cluttered.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants