On Sunday, December 25, 2016 at 8:22:33 PM UTC+1, Jeroen Demeyer wrote:
>
> On 2016-12-25 12:55, Jean-Pierre Flori wrote:
> >
> >
> > On Sunday, December 25, 2016 at 10:32:11 AM UTC+1, Jeroen Demeyer wrote:
> >
> > On 2016-12-24 13:30, Jean-Pierre Flori wrote:
> > > I just want to
On 2016-12-25 12:55, Jean-Pierre Flori wrote:
On Sunday, December 25, 2016 at 10:32:11 AM UTC+1, Jeroen Demeyer wrote:
On 2016-12-24 13:30, Jean-Pierre Flori wrote:
> I just want to kill Magma
M.quit() should work.
Sure, but how do I trigger a call to M.quit() iin the middle of
On Sunday, December 25, 2016 at 12:31:27 PM UTC, Volker Braun wrote:
>
> The ~/.gitolite/logs/ may have some clues about what is going on...
>
no, it doesn't, IMHO. Further, there are two (almost)copies of keystore/,
one in ~/.gitolite/, and the
other in /srv/trac/sage_trac/gitolite-admin/.
Th
On at least two tickets I found
TestsFailed 7.5.rc0 Ubuntu/16.04/x86_64/4.4.0-53-generic/quasar
because of timeouts.
At https://trac.sagemath.org/ticket/22064:
sage -t --long src/sage/graphs/generators/smallgraphs.py # Timed out
At https://trac.sagemath.org/ticket/21968:
sage -t --long src/sag
The ~/.gitolite/logs/ may have some clues about what is going on...
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To pos
On Sunday, December 25, 2016 at 10:32:11 AM UTC+1, Jeroen Demeyer wrote:
>
> On 2016-12-24 13:30, Jean-Pierre Flori wrote:
> > I just want to kill Magma
>
> M.quit() should work.
>
Sure, but how do I trigger a call to M.quit() iin the middle of a long
computation?
--
You received this mess
On Sunday, December 25, 2016 at 1:58:40 AM UTC, Maxie Schmidt wrote:
>
> What other ways do you suggest I try? ssh-copy-id fails with the
> same Permission denied (publickey) error. Is there another way to upload
> keys to the trac server?
>
the only user-allowed way is via the web interface.
On 2016-12-24 13:30, Jean-Pierre Flori wrote:
I just want to kill Magma
M.quit() should work.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubsc
