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

Add a --dir or format for installing specific folder path from github, and not the whole repo #22

Open
PatrickAlphaC opened this issue Sep 11, 2024 · 2 comments

Comments

@PatrickAlphaC
Copy link
Member

No description provided.

@PatrickAlphaC
Copy link
Member Author

PatrickAlphaC commented Sep 22, 2024

This will require a pretty big rework. So it might look like this:

mox install <repo> --dir <dir>

and then, ?????

  1. Profit

Could setup the linter in settings to look for like:

vyper -p lib/pcaversaccio

maybe have an update-linter flag for VSCode users? The vscode linter allows for modifications:

A The extension compiles your file with the command vyper. You should set the setting: vyper.command to vyper -p path/to/your/project/directory to make the compiler aware of the interfaces in your project.

So, we'd just have the -p look at that specific dir. Then, in our moccasin.toml for github projects, you could do like:

ORG/REPO@VERION:DIR

Or something. This might require a --github flag to make sure that moccasin doesn't have to guess if you're doing a "normal" pypi install or a --github one

@PatrickAlphaC
Copy link
Member Author

Reducing priority. I think with the new changes on dependency paths, this is ok for now. But probably good to get in later.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant