[Rock-dev] Proposal for a Rock website redesign

Steffen Planthaber Steffen.Planthaber at dfki.de
Fri Mar 13 09:39:09 CET 2015


Hi,

Am 12.03.2015 um 17:32 schrieb Sylvain Joyeux:
> On Thu, Mar 12, 2015 at 12:41 PM, Steffen Planthaber

>   - it seems that we can keep rock-robotics.org as our main URL
> (https://help.github.com/articles/setting-up-a-custom-domain-with-github-pages/).

The simulation page is currently trying to do this, results should be 
available in some days.

>   - the issue of how to update the API and package directory. I would
> like to get the HTML of the package directory generated client-side
> via javascript, the JS input being JSON files generated and added to
> the gh-pages branch. This would remove the dependency on having
> successful full builds as the package directory could easily be
> updated incrementally.

Yes, but "someone" "somewhere" has to update the gh-page branch when the 
code changed. This could still be the job of the buildserver. The plus 
is that it can also be done manually by the package maintainer.

> Could handle the API identically, but updating
> the whole API doc on github is going to be a pain. Currently, the only
> API-related thing that is required by the package directory is whether
> a package has API doc or not. This could also be stored as JSON and
> updated client-side.

So all we need is an JSON page which tells avilable packages and query 
the availability of a according gh-page and create a link, if a gh-page 
exists.

We could also try to use the github api to retrieve a list of packages, 
like of "rock-core" and "rock-planning" etc.

But that whouldn't create correct package names, when the naming sceme 
is incorrect, e.g. when base-orogen-types.git is not the 
"/base/orogen/types" package.

Here is the JSON of the github API:

https://api.github.com/users/rock-core/repos?page=1&per_page=1000

It also tells directly the homepage set for the repo, also whether a 
gh-page exists for the package or not

There are also other possible information that could be useful on the 
directory page:
  - repo URL
  - number of issues/PRs
  - wiki present


But there is one unsolved issue: the automatically generated doc on the 
gh-page needs to support flavors/releases, could be solved with 
subfolders on the gh-page though. Who will update these? If the 
buildserver should do it, he needs access to all packages.

Another option whould be that users can generate per package docs and 
create pull requests. And no automatic updates are made.


Steffen


-- 
  Steffen Planthaber
  Weltraumrobotik

  Besuchsadresse der Nebengeschäftstelle:
  DFKI GmbH
  Robotics Innovation Center
  Robert-Hooke-Straße 5
  28359 Bremen, Germany

  Postadresse der Hauptgeschäftsstelle Standort Bremen:
  DFKI GmbH
  Robotics Innovation Center
  Robert-Hooke-Straße 1
  28359 Bremen, Germany

  Tel.:     +49 421 178 45-4125
  Zentrale: +49 421 178 45-0
  Fax:      +49 421 178 45-4150 (Faxe bitte namentlich kennzeichnen)
  E-Mail:   Steffen.Planthaber at dfki.de

  Weitere Informationen: http://www.dfki.de/robotik
  -----------------------------------------------------------------------
  Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH
  Firmensitz: Trippstadter Straße 122, D-67663 Kaiserslautern
  Geschaeftsfuehrung: Prof. Dr. Dr. h.c. mult. Wolfgang Wahlster
  (Vorsitzender) Dr. Walter Olthoff
  Vorsitzender des Aufsichtsrats: Prof. Dr. h.c. Hans A. Aukes
  Amtsgericht Kaiserslautern, HRB 2313
  Sitz der Gesellschaft: Kaiserslautern (HRB 2313)
  USt-Id.Nr.:    DE 148646973
  Steuernummer:  19/673/0060/3
  -----------------------------------------------------------------------



More information about the Rock-dev mailing list