[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 12:23:46 +0000 |
Max Nikulin <manikulin@gmail.com> writes:
> I was trying to modify publish.sh to collect errors up to a reasonable
> number, a draft is attached. It can be improved further to save list of
> failures to some file, so final step of .build.yml may be to check
> whether this file is empty and to send a notification otherwise.
>
> Currently it just prints summary of failures. When allowed failures
> count is exceeded, it fails immediately.
>
> ./publish.sh --maxfail 32
I am not sure why it would be useful to limit the number of errors to
anything other than 0/infinity.
Note that I just pushed an alternative (but very similar) change in
https://git.sr.ht/~bzg/worg/commit/b38a1f08
If you think that my commit can be improved, feel free to do it.
--
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, 2023/08/05
- 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
Re: Worg: issue with org-tools page, Ihor Radchenko, 2023/08/10