On Sunday, December 18, 2016 at 10:58:42 AM UTC+1, Marc Mezzarobba wrote:
>
> Thank you for you comments.
>
> Kwankyu Lee wrote:
> > (1) "x != y" should behave always and exactly as "not (x == y)"
>
> This is difficult to achieve.
> For example, in interval arithmetic, one usually expects a
works for me, too
On Sunday, December 18, 2016 at 11:55:31 PM UTC+1, William wrote:
>
> The trac website is up for me and my uptimerobot monitor hasn't shown any
> downtime.
>
> On Sun, Dec 18, 2016 at 2:17 PM Maxie Schmidt > wrote:
>
>> The trac server ssh and website are still down when I che
The server has been down for me since yesterday afternoon. I'm getting
connection timed out messages over ssh and from my web browser.
On Dec 18, 2016 4:55 PM, "William Stein" wrote:
The trac website is up for me and my uptimerobot monitor hasn't shown any
downtime.
On Sun, Dec 18, 2016 at 2:17
The trac website is up for me and my uptimerobot monitor hasn't shown any
downtime.
On Sun, Dec 18, 2016 at 2:17 PM Maxie Schmidt wrote:
> The trac server ssh and website are still down when I check them as well.
>
>
> On Sunday, December 18, 2016 at 8:06:38 AM UTC-6, Ralf Stephan wrote:
>
> Sit
The trac server ssh and website are still down when I check them as well.
On Sunday, December 18, 2016 at 8:06:38 AM UTC-6, Ralf Stephan wrote:
>
> Site unreachable. Maybe that causes the SSH key problem in another thread
> as well.
>
--
You received this message because you are subscribed to t
On Sunday, December 18, 2016 at 7:30:16 PM UTC+1, Maxie Schmidt wrote:
>
> The trac server and website are down right now for me as well. Here is the
> output of "ssh -vvv myuse...@trac.sagemath.org " from
> yesterday:
>
Thats to be expected, you don't have a unix user account on trac. Only
"
The trac server and website are down right now for me as well. Here is the
output of "ssh -vvv myusern...@trac.sagemath.org" from yesterday:
OpenSSH_7.2p2 Ubuntu-4ubuntu2.1, OpenSSL 1.0.2g 1 Mar 2016
debug1: Reading configuration data /etc/ssh/ssh_config
debug1: /etc/ssh/ssh_config line 19: App
On Sun, Dec 18, 2016 at 06:06:38AM -0800, Ralf Stephan wrote:
> Site unreachable. Maybe that causes the SSH key problem in another thread
> as well.
The website works for me.
>
> --
> You received this message because you are subscribed to the Google Groups
> "sage-devel" group.
> To unsubscr
Site unreachable. Maybe that causes the SSH key problem in another thread
as well.
--
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...@googlegr
ssh-add -l will list your key only if you previously added it with ssh-add.
I have such a command in my .bashrc and it asks for the password once
per login. I also find that the ssh commands you gave do give me a
Permission denied as well so I think that is unrelated.
Saturday, December 17, 2016 a
Hi,
On Sun, Dec 18, 2016 at 10:58:26AM +0100, Marc Mezzarobba wrote:
[...]
> In other words: the choice has been made, long ago, to have ==/!= in
> Sage stand for "semantic" comparison of mathematical objects rather than
> "syntactic" comparison of data structures. I don't think it was the
> ri
Thank you for you comments.
Kwankyu Lee wrote:
> (1) "x != y" should behave always and exactly as "not (x == y)"
This is difficult to achieve.
For example, in interval arithmetic, one usually expects a == b to
return True iff a and b are equal point intervals, and a != b to return
True iff a a
Can you run
ssh -vv g...@trac.sagemath.org info
and look through the debug info?
On Saturday, December 17, 2016 at 7:27:21 PM UTC+1, Maxie Schmidt wrote:
>
> Hello.
>
> I have an account on and have uploaded my local id_rsa.pub key in the sage
> math trac server web interface. The command "g
13 matches
Mail list logo
