Re: [sage-devel] Re: 10 years ago

Maybe you noticed that Dima did his first contribution to sage 10 years ago. Cheers, Jaap Op ma 24 feb. 2020 02:07 schreef Samuel Lelievre : > Ten years ago: > > Sage Days 20 > https://wiki.sagemath.org/daysmarseille > https://www.lirmm.fr/arith/wiki/MathInfo2010/SageDays > > was the

[sage-devel] Re: 10 years ago

Ten years ago: Sage Days 20 https://wiki.sagemath.org/daysmarseille https://www.lirmm.fr/arith/wiki/MathInfo2010/SageDays was the fourth week of the 5-week long thematic month MathInfo2010 -- "Towards new interactions between Mathematics and Computer Science" Thematic mon

Re: [sage-devel] Re: Tip: easy input of math/unicode symbols

On Fri, Feb 21, 2020 at 11:39:31AM -0800, Emmanuel Charpentier wrote: > A similar bag of tricks is available to users of sage-shell-mode in emacs, > using TeX Input Method or > one of its possible customizations. Cool! I really need to update my s

[sage-devel] Re: Tip: easy input of math/unicode symbols

> A rather big caveat though: one can easily input all the usual math > glyphs (mathbb, mathfrak, ...) of a character. However they all are > considered as equal by Python itself: > > sage: \mbfN > sage: 𝐍 > > sage: N > For the curious: Python uses the

Re: [sage-devel] unable to connect to git trac server

Could you push a branch using "plain" git? Assuming the output of git remote -v contains "trac g...@trac.sagemath.org:sage.git (push)" you should be able to push a branch like this: git push trac HEAD:u/gh-diveshkr-code/test1 On Sun, Feb 23, 2020 at 3:33 PM DIVESH KUMAR wrote: > > I am able

Re: [sage-devel] unable to connect to git trac server

I am able to push and pull now to my repository but still am getting this error any idea why it's still happening. Thanks a lot for your help so far. > Saved trac username. > > Saved trac password. > > Trac xmlrpc URL: > > https://trac.sagemath.org/xmlrpc (anonymous) > > https://trac.sage

[sage-devel] Re: Unable to push changes to local branch

Got it resolved after I realized i haven't added a public ssh key in my preferences. On Sunday, 23 February 2020 15:26:33 UTC+5:30, Vishesh Tayal wrote: > > I have made some edits to the ticket #29178 but im not able to push the > changes following is the error: > > Pushing to Trac #29178... > G

Re: [sage-devel] Error Building Sage

Python picks up the wrong readline, is there stuff in /usr/local? On Sunday, February 23, 2020 at 8:23:42 AM UTC+1, Tanav Shah wrote: > > Hi > > I tried building the sage module in the internal wsl file system and it > seems to be working better than before, but still there are a couple of > e

[sage-devel] Not able to push to trac server

I have made changes in the code locally addressing the ticket #29178.I have configures the trac serve in command line. 'git trac push' gives the following error: Pushing to Trac #29178... Guessed remote branch: u/gh-unicorn-io/ beginner_ticket__note_to_remind_github_users_of_their_trac_usern

[sage-devel] Unable to push changes to local branch

I have made some edits to the ticket #29178 but im not able to push the changes following is the error: Pushing to Trac #29178... Guessed remote branch: u/gh-unicorn-io/beginner_ticket__note_to_remind_github_users_of_their_trac_username The authenticity of host 'trac.sagemath.org (104.197.143.23