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
Catch errors from kernelspec command, e.g. if it doesn't exist.
Try installing to joinpath(IJulia.kerneldir(),"julia-$(VERSION.major).$(VERSION.minor)"), or maybe all julia-* in the kerneldir.
Find some way to determine the name of the currently active kernel? (It usually is just something like julia-1.8, but it might contain some extra flags...)
Catch errors from kernelspec command, e.g. if it doesn't exist.Try installing tojoinpath(IJulia.kerneldir(),"julia-$(VERSION.major).$(VERSION.minor)")
, or maybe alljulia-*
in the kerneldir.x-ref: oscar-system/Oscar.jl#2090
The text was updated successfully, but these errors were encountered: