Added option for port and formatted file #40

Closed
vherrmann wants to merge 1 commit from vherrmann/master into master
vherrmann commented 2023-04-01 21:13:25 +00:00 (Migrated from github.com)

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

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 commented 2023-04-02 01:01:43 +00:00 (Migrated from github.com)

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

The formatting is a bit aggressive, if you get rid of the formatting I'll accept this.
vherrmann commented 2023-04-02 13:12:21 +00:00 (Migrated from github.com)

Does the pr fit your expectations now?

Does the pr fit your expectations now?
MatthewCroughan commented 2023-04-07 08:36:05 +00:00 (Migrated from github.com)

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

This breaks the tests, not sure why, you can reproduce the tests locally with `nix flake check -L`
vherrmann commented 2023-04-07 15:25:24 +00:00 (Migrated from github.com)

I accidentally removed a parenthesis.

I accidentally removed a parenthesis.
pbek commented 2023-06-11 17:46:34 +00:00 (Migrated from github.com)

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

Any news on merging this PR? Being able to use different SSH ports (like I do) would be great. 😅
tristan closed this pull request 2025-03-04 14:10:12 +00:00

Pull request closed

Sign in to join this conversation.
No description provided.