Skip to content
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

fix: add missing bucket subdirs #5

Merged
merged 2 commits into from
Jun 21, 2024
Merged

Conversation

vkethana
Copy link
Contributor

@vkethana vkethana commented Jun 17, 2024

Context: I did a fresh install of R2E on two separate systems (Arch Linux and MacOS). In both cases, I had to manually create the following directories in order to make the installation instructions work:

  • ~/buckets/r2e_bucket
  • ~/buckets/r2e_bucket/extracted_data
  • ~/buckets/r2e_bucket/testgen
  • ~/buckets/r2e_bucket/repo_graphs

This PR automates this process

@manishshettym manishshettym changed the title automatically create directories that may not exist on some systems fix: create missing bucket subdirs Jun 18, 2024
@manishshettym manishshettym self-requested a review June 18, 2024 17:57
@manishshettym manishshettym added the bug Something isn't working label Jun 21, 2024
@manishshettym manishshettym changed the title fix: create missing bucket subdirs fix: add missing bucket subdirs Jun 21, 2024
Copy link
Contributor

@manishshettym manishshettym left a comment

Choose a reason for hiding this comment

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

@vkethana: Thanks for the PR, LGTM!

Ask: Could you please merge origin main so I can complete this (there have been some new updates)?

@vkethana
Copy link
Contributor Author

@vkethana: Thanks for the PR, LGTM!

Ask: Could you please merge origin main so I can complete this (there have been some new updates)?

All right, I just merged

@manishshettym manishshettym self-requested a review June 21, 2024 03:13
@manishshettym manishshettym merged commit 6d0950d into r2e-project:main Jun 21, 2024
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants