Re: Two more PRs merged into devel

Hello Edward, Am So., 18. Sept. 2022 um 21:53 Uhr schrieb Edward K. Ream < edream...@gmail.com>: > On Sun, Sep 18, 2022 at 2:47 PM Viktor Ransmayr wrote: > > > It looks like the 'test-all' command does no longer work ... > > Correct. I removed those commands recently. > OK, I was only

Re: Two more PRs merged into devel

Of course; I just ran those by hand to try them out. On Sunday, September 18, 2022 at 7:35:05 PM UTC-4 Edward K. Ream wrote: > On Sun, Sep 18, 2022 at 4:00 PM Thomas Passin wrote: > >> Just trying to make sure I understand correctly. >> >> py -m unittest >> Ran 941 tests in 12.162s >> OK >> py

Re: Two more PRs merged into devel

On Sun, Sep 18, 2022 at 4:00 PM Thomas Passin wrote: > Just trying to make sure I understand correctly. > > py -m unittest > Ran 941 tests in 12.162s > OK > py -m unittest leo.unittests.core.test_leoserver > Ran 3 tests in 2.017s > OK > Yes. I suggest your scripts cd to the leo-editor folder.

Re: Two more PRs merged into devel

Just trying to make sure I understand correctly. py -m unittest Ran 941 tests in 12.162s OK py -m unittest leo.unittests.core.test_leoserver Ran 3 tests in 2.017s OK On Sunday, September 18, 2022 at 4:00:13 PM UTC-4 Edward K. Ream wrote: > On Sun, Sep 18, 2022 at 2:57 PM Thomas Passin wrote:

Re: Two more PRs merged into devel

On Sun, Sep 18, 2022 at 2:57 PM Thomas Passin wrote: > So what's the way for devs to test after making changes, if we don't have > test-all? > Didn't I just write up info item #2867 ? Imo, these scripts are more convenient to use because

Re: Two more PRs merged into devel

So what's the way for devs to test after making changes, if we don't have test-all? On Sunday, September 18, 2022 at 3:53:55 PM UTC-4 Edward K. Ream wrote: > On Sun, Sep 18, 2022 at 2:47 PM Viktor Ransmayr wrote: > > > It looks like the 'test-all' command does no longer work ... > > Correct. I

Re: Two more PRs merged into devel

On Sun, Sep 18, 2022 at 2:47 PM Viktor Ransmayr wrote: > It looks like the 'test-all' command does no longer work ... Correct. I removed those commands recently. > IMHO this would have deserved an individual msg to the users ;-) Well, you have just created the message, hehe. Edward -- You

Re: Two more PRs merged into devel

Hello Edward, Edward K. Ream schrieb am Sonntag, 18. September 2022 um 12:05:13 UTC+2: > devel now contains PR #2871 > (icons) and PR #2873 > (leoserver > annotations). > > Please

Re: Leo's home page just went down

On Sunday, September 18, 2022 at 5:12:15 AM UTC-5 Edward K. Ream wrote: > Let's hope it's back up soon. > It's back up :-) Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from

Leo's home page just went down

Let's hope it's back up soon. If not, I'll check in with my brother, who hosts the site. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to

Two more PRs merged into devel

devel now contains PR #2871 (icons) and PR #2873 (leoserver annotations). Please continue your testing of devel. The icons issues was unexpectedly tricky, and deserves more testing. We