Skip to content

fix(flake.nix): readd grep for agent startup script #16429

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Feb 4, 2025
Merged

fix(flake.nix): readd grep for agent startup script #16429

merged 1 commit into from
Feb 4, 2025

Conversation

ThomasK33
Copy link
Member

@ThomasK33 ThomasK33 commented Feb 4, 2025 •
edited
Loading

Added gnugrep to the development shell dependencies, as its a dependency of the bootstrap script for an agent.

Change-Id: Ia56e16a831bb94af2324e33ae5274833d0123d47
Signed-off-by: Thomas Kosiewski tk@coder.com

@ThomasK33
fix(flake.nix): readd grep for agent startup script
7c8626f 
Change-Id: Ia56e16a831bb94af2324e33ae5274833d0123d47
Signed-off-by: Thomas Kosiewski <tk@coder.com>
@ThomasK33 Graphite App
Copy link
Member Author

This stack of pull requests is managed by Graphite. Learn more about stacking.

@ThomasK33 ThomasK33 added the hotfix label Feb 4, 2025 — with Graphite App
cdr-bot[bot]
cdr-bot bot approved these changes Feb 4, 2025
View reviewed changes
Copy link

@cdr-bot cdr-bot bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This PR is a hotfix and has been automatically approved.

  • ✅ Base is main or release branch
  • ✅ Has hotfix label
  • ✅ Head is from coder/coder
  • ✅ Less than 100 lines

@ThomasK33 ThomasK33 marked this pull request as ready for review February 4, 2025 16:07
@ThomasK33 ThomasK33 merged commit 8c26501 into main Feb 4, 2025
39 checks passed
@ThomasK33 ThomasK33 deleted the 02-04-fix_flake.nix_readd_grep_for_agent_startup_script branch February 4, 2025 16:14
@github-actions github-actions bot locked and limited conversation to collaborators Feb 4, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@cdr-bot cdr-bot[bot] cdr-bot[bot] approved these changes

Assignees

@ThomasK33 ThomasK33

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@ThomasK33