[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Worg: issue with org-tools page
From: |
Ihor Radchenko |
Subject: |
Re: Worg: issue with org-tools page |
Date: |
Sat, 05 Aug 2023 11:06:23 +0000 |
Bastien Guerry <bzg@gnu.org> writes:
>> What about the other approach I proposed?
>> (where we export skipping errors first, upload, and then re-export,
>> catching all errors this time just to trigger an email to notify about
>> the failure).
>
> Yes, let's do this.
Ok. I added a new --debug command line argument to publish.sh and a new
"check" task that will generate non-zero exit code yet uploading the
successfully exported pages.
https://git.sr.ht/~bzg/worg/commit/b38a1f08
https://git.sr.ht/~bzg/worg/commit/f049752b
... And we are (hopefully) done with a side line of the original bug
report.
The original problem was
Cannot open load file: No such file or directory, ess
So, there is still a problem with ESS installation.
We may need to update the build manifest yet more.
Probably "elpa-ess" is installed into some weird place, out of
load-path.
--
Ihor Radchenko // yantar92,
Org mode contributor,
Learn more about Org mode at <https://orgmode.org/>.
Support Org development at <https://liberapay.com/org-mode>,
or support my work at <https://liberapay.com/yantar92>
- Re: Worg: issue with org-tools page, Bastien Guerry, 2023/08/04
- Re: Worg: issue with org-tools page, Ihor Radchenko, 2023/08/05
- Re: Worg: issue with org-tools page, Bastien Guerry, 2023/08/05
- Re: Worg: issue with org-tools page,
Ihor Radchenko <=
- Re: Worg: issue with org-tools page, Bastien Guerry, 2023/08/05
- Re: Worg: issue with org-tools page, Ihor Radchenko, 2023/08/06
- Re: Worg: issue with org-tools page, Bastien Guerry, 2023/08/06
- Re: Worg: issue with org-tools page, Ihor Radchenko, 2023/08/07
- Re: Worg: issue with org-tools page, Bastien Guerry, 2023/08/07