-
Notifications
You must be signed in to change notification settings - Fork 747
feat(chat): Adding the grep search tool and file search tool #7083
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
Changes from all commits
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -8,6 +8,7 @@ env: | |
| AWS_TOOLKIT_TEST_USER_DIR: '/tmp/' | ||
| # needed or else webpack will cause it to run out of memory | ||
| NODE_OPTIONS: '--max-old-space-size=8192' | ||
| # VSCODE_RIPGREP_TOKEN will be set in pre_build phase | ||
|
|
||
| phases: | ||
| install: | ||
|
|
@@ -20,6 +21,9 @@ phases: | |
| pre_build: | ||
| commands: | ||
| - export HOME=/home/codebuild-user | ||
| # Set up VSCODE_RIPGREP_TOKEN for GitHub API access | ||
| - export VSCODE_RIPGREP_TOKEN=${GITHUB_READONLY_TOKEN} | ||
| - echo "Setting up VSCODE_RIPGREP_TOKEN for GitHub API access" | ||
|
Contributor
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. why do we need this?
Contributor
Author
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. similar as the GITHUB TOKEN env, set it setting this up to increase GitHub API Limit while download the ripgrep binary. otherwise, the ripgrep download failed. |
||
| - bash buildspec/shared/linux-pre_build.sh | ||
|
|
||
| build: | ||
|
|
||
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -75,6 +75,7 @@ | |
| "dependencies": { | ||
| "@types/node": "^22.7.5", | ||
| "vscode-nls": "^5.2.0", | ||
| "vscode-nls-dev": "^4.0.4" | ||
| "vscode-nls-dev": "^4.0.4", | ||
| "@vscode/ripgrep": "1.15.11" | ||
|
Contributor
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. is this the right place to add it?
Contributor
Author
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. yes, based on the vscode ripgrep, it asked to add in the dependencies, not dev dependencies: https://github.com/microsoft/vscode-ripgrep. |
||
| } | ||
| } | ||
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.
why do we need this?
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.
we are setting this up to increase GitHub API Limit while download the ripgrep binary.
ref: https://github.com/microsoft/vscode-ripgrep