-
Notifications
You must be signed in to change notification settings - Fork 17
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
Move the script files outside the root directory #13
Comments
@tai271828 @j8xixo12 @chestercheng any thoughts? |
In my opinion, where to leave script files should let the user decide? |
Agree. But at the moment we have four executable script files in the repository root: build-pybind11-in-conda.sh*
conda.sh*
devenv-cli.sh*
prepare-solvcon-dev.sh* If staying there, they will be mixed with script files added by users. The mixture may discourage users from placing script files in the root directory, and thus limit their options. What should we do with our script files? |
In my opinion:
Thus, my gut feeling shows:
|
Agree the orthogonality and the reason.
Agree. And we should make it clear that they are so in the file organization.
It sounds like a plan. Any estimate for when there will be a PR? |
ETA: by the up-coming Monday! (pity. the message box of github does not allow emoji?!) |
I don't think we should leave script files in the root directory.
Also, we would need a simple document to tell users how to use the tool.
The text was updated successfully, but these errors were encountered: