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

"Duplicate" Directories #2543

Open
silabs-robin opened this issue Oct 16, 2024 · 0 comments
Open

"Duplicate" Directories #2543

silabs-robin opened this issue Oct 16, 2024 · 0 comments

Comments

@silabs-robin
Copy link
Contributor

silabs-robin commented Oct 16, 2024

Background information

tools/ and util/ serve exactly the same purpose as bin/.
IMO, their existence only make the top-level directory slower to navigate.
(Each of those contain only one tool each.)

Task Outcome

The "owners" of those directories (use git history) should be consulted (unless if core-v-verif maintainers simply would mandate the change).
Determine if the two outlier directories could be incorporated into the main one.
If yes, then only bin/ should remain, and the other two are moved into there.

Completion Criteria

Only bin/ remains, or we decide that we don't care and keep things as they are.

Additional context

What prompted this ticket is that I was looking for a particular file, but I had to make detours through these directories, which felt like less than optimal use of time.
I do not have a strong opinion about this, so an acceptable outcome is simply that we declare "we don't care" and close the ticket.
But I do think it is a quality of life thing, and that the top-level directory is important in making first impressions etc, so decluttering could be worth it.

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

No branches or pull requests

1 participant