diff options
| author | Patrick Georgi <patrick@georgi-clan.de> | 2013-12-07 10:44:52 +0100 |
|---|---|---|
| committer | Patrick Georgi <patrick@georgi-clan.de> | 2013-12-07 20:03:52 +0100 |
| commit | 87932c027ea41685ae8304c2ed406a47bbebe584 (patch) | |
| tree | 500f9c610951b1ec2fa5ddbcba35eff501aea59d /util/board_status | |
| parent | 2267658db44f7ffade5fd15cd1b8a4019a380f7e (diff) | |
board-status: one-line reports, with links to per-board pages
Make boards take less vertical space, and link to board pages
Change-Id: Ifdd062a15191809b75422416c874161d9114363d
Signed-off-by: Patrick Georgi <patrick@georgi-clan.de>
Reviewed-on: http://review.coreboot.org/4493
Tested-by: build bot (Jenkins)
Reviewed-by: Alexandru Gagniuc <mr.nuke.me@gmail.com>
Diffstat (limited to 'util/board_status')
| -rwxr-xr-x | util/board_status/to-wiki/towiki.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/util/board_status/to-wiki/towiki.sh b/util/board_status/to-wiki/towiki.sh index 49c17f08e5..82cb3b61ce 100755 --- a/util/board_status/to-wiki/towiki.sh +++ b/util/board_status/to-wiki/towiki.sh @@ -16,11 +16,12 @@ while read line; do datetime_human=`LC_ALL=C TZ=UTC date --date="$datetime"` upstream=`grep "^Upstream revision:" $vendor_board/$commit/$datetime/revision.txt |cut -d: -f2-` upstream=`git log -1 --format=%H $upstream` - echo $vendor_board at $datetime_human - echo "[$CODE_GITWEB$upstream upstream tree]" + echo "[[Board:$vendor_board|$vendor_board]] at $datetime_human" + echo "[$CODE_GITWEB$upstream upstream tree] (" ls $vendor_board/$commit/$datetime/* |grep -v '/revision.txt$' | while read file; do - echo "* [$STATUS_GITWEB$file `basename $file`]" + echo "[$STATUS_GITWEB$file `basename $file`] " done + echo ")" echo done done |