-
Notifications
You must be signed in to change notification settings - Fork 5.1k
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
Patch for CodeMirror 5.22 #2068
Conversation
@minrk Here is a patch for CodeMirror that resolves #1967. Build is currently failing with:
I assume this has something to do with patching CM but not sure what... |
I took a stab at patching in place by copying a patched |
"""Patch CodeMirror until https://github.com/codemirror/CodeMirror/issues/4454 is resolved""" | ||
|
||
try: | ||
run(['cp', 'scripts/codemirror.js', 'notebook/static/components/codemirror/lib'], cwd=repo_root) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Rather that run(['cp'
, it might be better to use shutil.copy
, which is probably safer.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Also tools
is perhaps a more appropriate place than 'scripts'. 'scripts' is for entrypoints that we install (like jupyter-notebook
etc.).
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Good stuff, thanks!
Two minor comments, but 👍 |
@gnestor want to make 4.3.2 with this? |
Ya let's release 4.3.2 today. I'll create an issue for it and give people a chance to chime in before releasing. |
@meeseeksdev backport to 4.x |
@Carreau Can you grant me @meeseeksdev powers? 🎩 |
interesting. You do have the power, let me try. It's probaby crashing. @meeseeksdev backport to 4.x |
Oops, something went wrong applying the patch... Please have a look at my logs. |
Hum.. I don't know why it did not reply to you, but there is an error in backporting, i'll check.
|
BTW you are white listed. |
that is strange it is picking up the wrong commit. It does not find the merge commit, which is supposed to be 393a04d.... |
Oh... it seem like you want to backport #2066 and not this. Can you try the backport command there ? |
Sure, thanks @Carreau! |
Closes #1967
Continuation of #2066