[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Issue #5822 aftermath: download sizes are gone from web site
From: |
David Kastrup |
Subject: |
Re: Issue #5822 aftermath: download sizes are gone from web site |
Date: |
Fri, 13 Mar 2020 15:17:34 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Han-Wen Nienhuys <address@hidden> writes:
> On Wed, Mar 11, 2020 at 11:56 PM David Kastrup <address@hidden> wrote:
>>
>>
>> I am not particularly surprised, to be honest: it did seem like the
>> website would employ something other than the online-root/offline-root
>> targets in the normal Stepmake build procedure.
>>
>> The sized were inaccurate anyway. I'll read up in the CG to see whether
>> I can figure out just what scripts actually do the website
>> creation/build/installation and see whether I can get the size script
>> inside.
> The website uses scripts that aren't directly checked out from
> savannah, so you can't directly compromise the webserver through code
> commits.
>
> I can update the scripts.
Ok. It's just that I don't know whether I got the right script in the
right manner here. The update itself, assuming the respective script
got transferred to the website, should be not more than a one-liner in
the respective Makefile (?). And since it works from files that have
gotten the required HTML comments, it should work (or fail gracefully)
depending on whether its prerequisites are at the expected places in the
file tree.
But I don't have a real handle on this myself.
--
David Kastrup
- Issue #5822 aftermath: download sizes are gone from web site, David Kastrup, 2020/03/11
- Re: Issue #5822 aftermath: download sizes are gone from web site, Han-Wen Nienhuys, 2020/03/13
- Re: Issue #5822 aftermath: download sizes are gone from web site,
David Kastrup <=
- Re: Issue #5822 aftermath: download sizes are gone from web site, David Kastrup, 2020/03/20
- Re: Issue #5822 aftermath: download sizes are gone from web site, David Kastrup, 2020/03/23
- Re: Issue #5822 aftermath: download sizes are gone from web site, Han-Wen Nienhuys, 2020/03/24
- Re: Issue #5822 aftermath: download sizes are gone from web site, Francisco Vila, 2020/03/24
- Re: Issue #5822 aftermath: download sizes are gone from web site, Francisco Vila, 2020/03/24
- Re: Issue #5822 aftermath: download sizes are gone from web site, David Kastrup, 2020/03/24
- Re: Issue #5822 aftermath: download sizes are gone from web site, Han-Wen Nienhuys, 2020/03/24
- Re: Issue #5822 aftermath: download sizes are gone from web site, David Kastrup, 2020/03/24
- Re: Issue #5822 aftermath: download sizes are gone from web site, Francisco Vila, 2020/03/24
- Re: Issue #5822 aftermath: download sizes are gone from web site, David Kastrup, 2020/03/24