Closed johanrosenkilde closed 7 years ago
If the edited file does not end in .sage, then sage-shell-edit:send-region will create a file with .sobj extension, but the called load function will look for a <extension>.sobj file.
.sage
sage-shell-edit:send-region
.sobj
load
<extension>.sobj
Thanks for reporting, Johan. I just fixed this in 541d48d58c793993e7dcdf42efa836061be949ae. I will merge it to master later.
Wow, so fast - thanks!
I confirm that this works for me now. Thanks again.
If the edited file does not end in
.sage
, thensage-shell-edit:send-region
will create a file with.sobj
extension, but the calledload
function will look for a<extension>.sobj
file.