Skip to content

add nix tools#354

Merged
24apricots merged 3 commits into
mainfrom
add-nix-tools
May 31, 2026
Merged

add nix tools#354
24apricots merged 3 commits into
mainfrom
add-nix-tools

Conversation

@24apricots

Copy link
Copy Markdown
Member

No description provided.

@24apricots
24apricots force-pushed the add-nix-tools branch 2 times, most recently from dd35bb9 to 1a58923 Compare May 30, 2026 04:22
added to default shell:
- nix-du
- nix-tree
- nix-eval-jobs
- nix-output-monitor
this is more relevant to the default devShell, since deploy uses ssh keys.
someone using nix develop may wish to use their kerberos ticket.
@jaysa68
jaysa68 added this pull request to the merge queue May 30, 2026
@jaysa68
jaysa68 removed this pull request from the merge queue due to a manual request May 30, 2026
@jaysa68
jaysa68 added this pull request to the merge queue May 30, 2026
@24apricots
24apricots removed this pull request from the merge queue due to a manual request May 30, 2026
@24apricots
24apricots added this pull request to the merge queue May 30, 2026
@jaysa68
jaysa68 added this pull request to the merge queue May 30, 2026
@jaysa68
jaysa68 removed this pull request from the merge queue due to a manual request May 30, 2026
@24apricots
24apricots added this pull request to the merge queue May 30, 2026
@github-merge-queue
github-merge-queue Bot removed this pull request from the merge queue due to failed status checks May 30, 2026
@24apricots
24apricots added this pull request to the merge queue May 31, 2026
Merged via the queue into main with commit aac80f8 May 31, 2026
3 checks passed
@24apricots
24apricots deleted the add-nix-tools branch May 31, 2026 06:33
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.

2 participants