You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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
The text was updated successfully, but these errors were encountered:
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}.
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 simplyRunning
leanblueprint --debug new
yieldsThe text was updated successfully, but these errors were encountered: