Hi Dima,
On Thursday, January 16, 2020 at 9:08:54 PM UTC+1, Dima Pasechnik wrote:
>
> the story is here, in fact:
>
> https://lars.ingebrigtsen.no/2020/01/06/whatever-happened-to-news-gmane-org/
>
Thank you!
As it seems, the only mentioning of "news.gmane" in my home directory in a
file whose
the story is here, in fact:
https://lars.ingebrigtsen.no/2020/01/06/whatever-happened-to-news-gmane-org/
On Thu, 16 Jan 2020, 19:59 Dima Pasechnik, wrote:
> try news.gmane.io
>
> On Thu, 16 Jan 2020, 19:47 Simon King, wrote:
>
>> Hi!
>>
>> I prefer reading all SageMath-related groups with slr
try news.gmane.io
On Thu, 16 Jan 2020, 19:47 Simon King, wrote:
> Hi!
>
> I prefer reading all SageMath-related groups with slrn, via news.gmane.org.
> However, since a few days, I always get this:
> king@klap:~$ slrn
> slrn 1.0.2
>
> Loading /usr/share/slrn/slang/slrn.sl
> Reading startup file
Hi!
I prefer reading all SageMath-related groups with slrn, via news.gmane.org.
However, since a few days, I always get this:
king@klap:~$ slrn
slrn 1.0.2
Loading /usr/share/slrn/slang/slrn.sl
Reading startup file /etc/news/slrn.rc.
Reading startup file /home/king/.slrnrc.
Loading /usr/share/slr
Thanks, using what you suggested worked and now sage-9.0 is installed.
Thanks.
On Wednesday, January 15, 2020 at 6:14:17 PM UTC-5, Dima Pasechnik wrote:
>
> try running
>
>make distclean
>
> and then
>
> ./configure
>
> again. If this doesn't help, post
> config.log
>
> here
>
>
>
> On Wed,
>
> ... This model has the advantage that (sqrt(1+t)^2 -1)/t == 1 returns
> true, as one would expect mathematically. (insisting equality up to the
> default precision would have to lead to false, because the arithmetic on
> the LHS leads to precision loss)
>
Your example is convincing and I'
On Thu, Jan 16, 2020 at 8:50 AM Mahathi Vempati wrote:
>
> I generally work from behind a proxy and the regular ssh doesn't seem to work.
> To push to github I have a `.ssh\config` file that contains the following
> which works:
>
> ```
> Host github.com
> Hostname ssh.github.com
> Port 443
> ```
Edit:
I mean .ssh/config
I am on an Ubuntu system.
On Thursday, January 16, 2020 at 2:20:38 PM UTC+5:30, Mahathi Vempati wrote:
>
> I generally work from behind a proxy and the regular ssh doesn't seem to
> work.
> To push to github I have a `.ssh\config` file that contains the following
> whi
I generally work from behind a proxy and the regular ssh doesn't seem to
work.
To push to github I have a `.ssh\config` file that contains the following
which works:
```
Host github.com
Hostname ssh.github.com
Port 443
```
Along the same lines, I tried to add the following for trac:
```
Host t
