> On 22 Apr 2018, at 16:24, Henk P. Penning <penn...@uu.nl> wrote: > > On Sun, 22 Apr 2018, Jan Iversen wrote: > >> Date: Sun, 22 Apr 2018 14:34:29 +0200 >> From: Jan Iversen <jancasacon...@gmail.com> >> To: general@attic.apache.org >> Subject: Re: svn commit: r1829770 - in /attic/site-json: build.props build.sh >> build.xml docs/projects/ lib/ xdocs/ > >>>> The 'name' attribute in the JSON in "attic.js". > >>> That is the text for the project list in the RH menu, and is free-format. >>> It's not directly convertible into a dist/ directory name. >>> So I agree that a dist attribute would be needed for at least some entries. > >> That is the reason for the “website” field. If we want to use the name >> alone, that field could be split in 2. > > IHMO it is better to derive attribute 'website' (as $dist.apache.org) > from a 'dist' attribute, than the other way around ; nevermind. > >>> I hope dist names are the same as TLP website names but I've not checked. >> The field “board” was added where I had problems between the TLP name >> used in Whimsy and the normal name. > > I see only two entries with non-empty "board" fields ; > the first isn't necessary ; the second isn't helpful > in mapping to the right /dist/GHOST tag : > > "name": "Crimson", > "board": "crimson", > > "name": "Standard C++ Library (STDCXX)", > "board": "Cxx_Standard_Library", > > Let's have a 'dist' attribute for entries that need it. > default : lowercase($name). > sanity : if $name matches whitespace then $dist must not be empty. > > Let's remove 'board' in entries where board == ‘'. Agreed to all.
rgds Jan I > > Regards, > > HPP > > ------------------------------------------------------------ _ > Henk P. Penning, ICT-beta R Uithof MG-403 _/ \_ > Faculty of Science, Utrecht University T +31 30 253 4106 / \_/ \ > Leuvenlaan 4, 3584CE Utrecht, NL F +31 30 253 4553 \_/ \_/ > http://www.staff.science.uu.nl/~penni101/ M penn...@uu.nl \_/
