Samuel, there are a couple pull requests from the middle of 2015 that never
became Trac tickets. The bot appears to have stopped creating tickets
before then.
There are open pull requests from the end of 2014 that became part of Sage
6.4. The bot does not appear to close pull requests on
Jeroen Demeyer wrote:
> On 2016-07-18 14:48, 'Paul Mercat' via sage-devel wrote:
>> But this command doesn't work even if I don't make any change in the
>> source code.
>
> Note that changing git branches counts as changing source code. So
> I bet that you *did* make changes to the Sage source
On 2016-07-18 14:48, 'Paul Mercat' via sage-devel wrote:
But this command doesn't work even if I don't make any change in the
source code.
Note that changing git branches counts as changing source code. So
I bet that you *did* make changes to the Sage source code since the last
time you ran
On 18 July 2016 at 14:26, leif wrote:
> John Cremona wrote:
>> I have a similar problem, on a machine which has successfully built
>> Sage in the past. Version 7.2 (literally commit f76401f).
>>
>> The last few commainds in history are
>>
>> make distclean
>> ../configure
leif wrote:
> John Cremona wrote:
>> I have a similar problem, on a machine which has successfully built
>> Sage in the past. Version 7.2 (literally commit f76401f).
>>
>> The last few commainds in history are
>>
>> make distclean
>> ../configure
>> make
>> make
>>
>> but each of the last two
John Cremona wrote:
> I have a similar problem, on a machine which has successfully built
> Sage in the past. Version 7.2 (literally commit f76401f).
>
> The last few commainds in history are
>
> make distclean
> ../configure
> make
> make
>
> but each of the last two make's ends with the
I have a similar problem, on a machine which has successfully built
Sage in the past. Version 7.2 (literally commit f76401f).
The last few commainds in history are
make distclean
./configure
make
make
but each of the last two make's ends with the following, also
mentioning
I can not reproduce your problem with 7.3.beta7 (downloaded from Sage's
git/trac server).
That said, if you make some modifications of Sage source code, you can just do
'make' afterwards.
Ciao,
Thierry
On Mon, Jul 18, 2016 at 05:48:39AM -0700, 'Paul Mercat' via sage-devel wrote:
> Yes, I
On Mon, Jul 18, 2016 at 12:46 PM, Thierry
wrote:
> Hi,
>
> On Mon, Jul 18, 2016 at 12:17:48PM +0200, Erik Bray wrote:
> [...]
>> Additionally, I think we should allow issues (without code) to be
>> posted on GitHub, and have an easy way to convert a GitHub issue
Yes, I successfully ran 'make'.
But I need to run 'sage -b' because I want to modify some things in the
source code.
But this command doesn't work even if I don't make any change in the source
code.
Ciao
Paul
Le lundi 18 juillet 2016 13:24:41 UTC+2, Thierry (sage-googlesucks@xxx) a
écrit :
>
Hi,
On Mon, Jul 18, 2016 at 03:48:47AM -0700, 'Paul Mercat' via sage-devel wrote:
> Hi !
>
> I just installed the last developpement version of sage with
> git clone git://github.com/sagemath/sage.git
> and it compiles correctly on my Ubuntu 16.04 computer.
Do you mean that at this point you
Hi,
On Mon, Jul 18, 2016 at 12:17:48PM +0200, Erik Bray wrote:
[...]
> Additionally, I think we should allow issues (without code) to be
> posted on GitHub, and have an easy way to convert a GitHub issue to a
> Trac ticket. I don't think it should be done for all issues, but
> rather use GitHub
Hi !
I just installed the last developpement version of sage with
git clone git://github.com/sagemath/sage.git
and it compiles correctly on my Ubuntu 16.04 computer.
But after that the command "./sage -b" fail with the following error :
... qflllTraceback (most recent call last):
File "", line
On Mon, Jul 18, 2016 at 10:12 AM, Samuel Lelievre
wrote:
> There is a bot (called sageb0t) that turns pull requests on GitHub into trac
> tickets.
>
> It might be that the bot also closes pull requests when the corresponding
> tickets
> have been closed on trac and a
Hello,
the output in a Sage worksheet can be hidden.
- *Hide/Show Output:* Click on the left side of output to toggle between
hidden, shown with word wrap, and shown without word wrap.
It is however not indicated in which state the output sell currently is. I
repeatedly ran into the
There is a bot (called sageb0t) that turns pull requests on GitHub into
trac tickets.
It might be that the bot also closes pull requests when the corresponding
tickets
have been closed on trac and a new public release of Sage happens (github
pull
requests are typically against the master
16 matches
Mail list logo