Not sure how new this is but I can no longer interrupt a Sage session with Ctrl-C which is necessary to get a gdb prompt. If new then presumably IPython the cause? I can workaround with Ctrl-Z and fg however.
On Thu, Aug 11, 2016 at 10:55 PM Dima Pasechnik <[email protected]> wrote: > After the update, on exit from Sage I get > > Exiting Sage (CPU time 0m0.17s, Wall time 0m44.15s). > :0: UserWarning: You do not have a working installation of the > service_identity module: 'No module named service_identity'. Please > install it from <https://pypi.python.org/pypi/service_identity> and make > sure all of its dependencies are satisfied. Without the service_identity > module and a recent enough pyOpenSSL to support it, Twisted can perform > only rudimentary TLS client hostname verification. Many valid > certificate/hostname mappings may be rejected. > > After doing "sage --pip install service_identity" > this warning goes away. > > Any idea what happens here? > > Dima > > > On Thursday, August 11, 2016 at 7:45:06 AM UTC+1, Volker Braun wrote: >> >> As always, you can get the latest beta version from the "develop" git >> branch. Alternatively, the self-contained source tarball is at >> http://www.sagemath.org/download-latest.html >> >> 0a80508 Updated SageMath version to 7.4.beta0 >> > -- > You received this message because you are subscribed to the Google Groups > "sage-release" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/sage-release. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-release. For more options, visit https://groups.google.com/d/optout.
