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

leanblueprint new terminates with minimal output #43

Open
mdnestor opened this issue Sep 5, 2024 · 1 comment
Open

leanblueprint new terminates with minimal output #43

mdnestor opened this issue Sep 5, 2024 · 1 comment

Comments

@mdnestor
Copy link

mdnestor commented Sep 5, 2024

I have installed graphviz via sudo apt install graphviz libgraphviz-dev and installed leanblueprint via pip.

I also have a Lean project created using lake which is linked to GitHub and I have also configured GitHub pages.

Upon running leanblueprint new from within the project repository the output is simply


Welcome to Lean blueprint


Running leanblueprint --debug new yields

Traceback (most recent call last):
  File "/home/user/.local/bin/leanblueprint", line 8, in <module>
    sys.exit(safe_cli())
  File "/home/user/.local/lib/python3.10/site-packages/leanblueprint/client.py", line 554, in safe_cli
    handle_exception(err, str(err))
  File "/home/user/.local/lib/python3.10/site-packages/leanblueprint/client.py", line 173, in handle_exception
    raise exc
  File "/home/user/.local/lib/python3.10/site-packages/leanblueprint/client.py", line 552, in safe_cli
    cli()  # pylint: disable=no-value-for-parameter
  File "/home/user/.local/lib/python3.10/site-packages/rich_click/rich_command.py", line 367, in __call__
    return super().__call__(*args, **kwargs)
  File "/home/user/.local/lib/python3.10/site-packages/click/core.py", line 1157, in __call__
    return self.main(*args, **kwargs)
  File "/home/user/.local/lib/python3.10/site-packages/rich_click/rich_command.py", line 152, in main
    rv = self.invoke(ctx)
  File "/home/user/.local/lib/python3.10/site-packages/click/core.py", line 1688, in invoke
    return _process_result(sub_ctx.command.invoke(sub_ctx))
  File "/home/user/.local/lib/python3.10/site-packages/click/core.py", line 1434, in invoke
    return ctx.invoke(self.callback, **ctx.params)
  File "/home/user/.local/lib/python3.10/site-packages/click/core.py", line 783, in invoke
    return __callback(*args, **kwargs)
  File "/home/user/.local/lib/python3.10/site-packages/leanblueprint/client.py", line 311, in new
    m = next(m for m in map(lambda p: re.match(p, url), patterns) if m is not None)
StopIteration
@mdnestor
Copy link
Author

mdnestor commented Sep 5, 2024

Seems to occur because the list of remote repository url patterns is non-exhaustive. My remote url had the pattern https://{TOKEN}@github.com/{OWNER}/{REPO}.

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