[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: testing out Docker CI scripts?
From: |
David Kastrup |
Subject: |
Re: testing out Docker CI scripts? |
Date: |
Sun, 23 Feb 2020 11:11:15 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Werner LEMBERG <address@hidden> writes:
>> I think the download text would warrant correction.
>
> Yes.
>
>> I just naively assumed it to be automatically generated in
>> correspondence with reality.
>
> This is an excellent suggestion. Not sure how to implement that
> easily, but please open a tracker issue so that the idea is not lost.
Where the hardwired info currently comes from can be seen with
git grep -6 docLinks
--
David Kastrup
My replies have a tendency to cause friction. To help mitigating
damage, feel free to forward problematic posts to me adding a subject
like "timeout 1d" (for a suggested timeout of 1 day) or "offensive".
- Re: testing out Docker CI scripts?, (continued)
- Re: testing out Docker CI scripts?, David Kastrup, 2020/02/22
- Re: testing out Docker CI scripts?, Han-Wen Nienhuys, 2020/02/22
- Re: testing out Docker CI scripts?, Han-Wen Nienhuys, 2020/02/22
- Re: testing out Docker CI scripts?, David Kastrup, 2020/02/22
- Re: testing out Docker CI scripts?, Karlin High, 2020/02/22
- Re: testing out Docker CI scripts?, Han-Wen Nienhuys, 2020/02/22
- Re: testing out Docker CI scripts?, David Kastrup, 2020/02/22
- Re: testing out Docker CI scripts?, Werner LEMBERG, 2020/02/23
- Re: testing out Docker CI scripts?, David Kastrup, 2020/02/23
- Re: testing out Docker CI scripts?, Werner LEMBERG, 2020/02/23
- Re: testing out Docker CI scripts?,
David Kastrup <=
- Re: testing out Docker CI scripts?, Han-Wen Nienhuys, 2020/02/23
- Re: testing out Docker CI scripts?, David Kastrup, 2020/02/23
- Re: testing out Docker CI scripts?, Han-Wen Nienhuys, 2020/02/23
- Re: testing out Docker CI scripts?, Jean-Charles Malahieude, 2020/02/23
- Re: testing out Docker CI scripts?, David Kastrup, 2020/02/23
- Re: testing out Docker CI scripts?, Jean-Charles Malahieude, 2020/02/23
- Re: testing out Docker CI scripts?, David Kastrup, 2020/02/23
- Re: testing out Docker CI scripts?, Jonas Hahnfeld, 2020/02/23
- Re: testing out Docker CI scripts?, Han-Wen Nienhuys, 2020/02/23
- Re: testing out Docker CI scripts?, Jonas Hahnfeld, 2020/02/23