Groups | Search | Server Info | Login | Register

Groups > linux.debian.policy > #9289

Bug#757760: debian-policy: please document build profiles

Cross-posted to 2 groups.

Show all headers | View raw

[Multipart message — attachments visible in raw view] - view raw

Johannes Schauer Marin Rodrigues <josch@debian.org> [26/Mar  8:50am +01] wrote:
> Hi Sean,
>
> sorry I think I left you hanging on this one. XD
>
>> Seconded, but:
>>
>> - I wonder what you think about upgrading "If tests happen to be
>>   installed into a binary package, consider supporting the
>>   ``noinsttest`` build profile." to Policy advice by saying that it is
>>   *recommended* to do this?  That would be a normative change.
>
> Fine with me.
>
>> - When you say "the following build profiles has been standardized" I
>>   will change that to "the following build profiles are standard" to
>>   make it clear we're standardising them by putting them in Policy, not
>>   that they are standardised elsewhere.
>
> Thank you!
>
>> - I think I wrote a couple of paragraphs so perhaps I could be
>>   Co-authored-by too? :)
>
> Please go ahead. Thank you for your valuable input!
>
>> - I will do some other minor wording fixes after committing the change.
>
> Thank you!

Thanks.  I think this means we need one more seconder of the combination
of your patch plus these changes.  It might be helpful if you were to
reroll your patch to include these changes.

-- 
Sean Whitton

Back to linux.debian.policy | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Bug#757760: debian-policy: please document build profiles Johannes Schauer Marin Rodrigues <josch@debian.org> - 2025-03-30 17:20 +0200
  Bug#757760: debian-policy: please document build profiles Sean Whitton <spwhitton@spwhitton.name> - 2025-03-31 05:00 +0200
  Bug#757760: debian-policy: please document build profiles Sean Whitton <spwhitton@spwhitton.name> - 2025-06-01 12:30 +0200
    Bug#757760: debian-policy: please document build profiles Helmut Grohne <helmut@subdivi.de> - 2025-11-16 18:20 +0100
      Bug#757760: debian-policy: please document build profiles Johannes Schauer Marin Rodrigues <josch@debian.org> - 2025-11-17 10:20 +0100
        Bug#757760: debian-policy: please document build profiles Helmut Grohne <helmut@subdivi.de> - 2025-11-18 10:20 +0100
          Bug#757760: debian-policy: please document build profiles Guillem Jover <guillem@debian.org> - 2025-12-05 13:30 +0100
            Bug#757760: debian-policy: please document build profiles Guillem Jover <guillem@debian.org> - 2025-12-18 14:50 +0100
          Bug#757760: debian-policy: please document build profiles Sean Whitton <spwhitton@spwhitton.name> - 2026-02-26 21:20 +0100
            Bug#757760: debian-policy: please document build profiles Johannes Schauer Marin Rodrigues <josch@debian.org> - 2026-03-26 09:00 +0100
              Bug#757760: debian-policy: please document build profiles Sean Whitton <spwhitton@spwhitton.name> - 2026-03-26 14:30 +0100
                Bug#757760: debian-policy: please document build profiles Johannes Schauer Marin Rodrigues <josch@debian.org> - 2026-03-26 17:30 +0100
                Bug#757760: debian-policy: please document build profiles Guillem Jover <guillem@debian.org> - 2026-03-26 18:20 +0100
                Bug#757760: debian-policy: please document build profiles Johannes Schauer Marin Rodrigues <josch@debian.org> - 2026-03-26 19:20 +0100
      Bug#757760: debian-policy: please document build profiles Sean Whitton <spwhitton@spwhitton.name> - 2025-11-25 13:10 +0100

csiph-web