[sage-devel] Why does sage use different URLs for push and fetch?

2021-01-15 Thread Siddharth Bhat
In "git the hard way", it asks us to setup: [user@localhost sage]$ git remote add trac git://trac.sagemath.org/sage.git -t master[user@localhost sage]$ git remote set-url --push trac g...@trac.sagemath.org:sage.git[user@localhost sage]$ git remote -vorigin git://github.com/sagemath/sage.git (

Re: [sage-devel] Slow change-compile-test-cycle?

2021-01-15 Thread Dima Pasechnik
Normally, if you just change Python code in the library, it suffices to run ./sage -br to update the Python code and re-launch Sage. A longer rebuild is make build (only if you changed socs, and want to test that they still work, you'd need to run make, or make doc-html) HTH On Fri, Jan 15, 2

[sage-devel] Slow change-compile-test-cycle?

2021-01-15 Thread Siddharth Bhat
Hello all, I'm trying to make the error messages in src/sage/combinat/tableau.py a little more verbose. I'm finding that the change-compile-test cycle is quite slow. Even with a `make -j` (which should use all cores available, and I have 8, it takes quite a long time to build. It seems that most