[coreboot-gerrit] Patch set updated for coreboot: board-status: make push-to-wiki more flexible

[Patrick Georgi (pgeorgi@google.com)]

Patrick Georgi (pgeorgi at google.com) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/13741

-gerrit

commit ba8068c55ffedbe392d01f4c54c14317bf2df4ec
Author: Patrick Georgi <pgeorgi at chromium.org>
Date:   Fri Feb 19 10:24:07 2016 +0100

    board-status: make push-to-wiki more flexible
    
    Change-Id: I952a694f645caf9d9726965e39afc09c6fdce0e3
    Signed-off-by: Patrick Georgi <pgeorgi at chromium.org>
---
 util/board_status/to-wiki/README          | 4 ++--
 util/board_status/to-wiki/push-to-wiki.sh | 3 ++-
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/util/board_status/to-wiki/README b/util/board_status/to-wiki/README
index 2bdff5a..0a0d591 100644
--- a/util/board_status/to-wiki/README
+++ b/util/board_status/to-wiki/README
@@ -18,8 +18,8 @@ To emit wiki-text, in the board-status repository's top-level directory, run
 
 The output ends up on stdout, so you'll have to store it yourself, if you need it later.
 
-`push-to-wiki.sh FILENAME` can be used to push a file into the wiki. The page name is hard coded
-in TITLE, while user credentials are looked up in ~/.wikiaccount, which should look like
+`push-to-wiki.sh FILENAME TITLE` can be used to push a file into the wiki.
+User credentials are looked up in ~/.wikiaccount, which should look like
 
     USERNAME=user
     USERPASS=password
diff --git a/util/board_status/to-wiki/push-to-wiki.sh b/util/board_status/to-wiki/push-to-wiki.sh
index fb011c1..58e2cbb 100755
--- a/util/board_status/to-wiki/push-to-wiki.sh
+++ b/util/board_status/to-wiki/push-to-wiki.sh
@@ -1,9 +1,10 @@
 #!/bin/bash
 # $1: file containing text
+# $2: wiki page to update
 
 . ~/.wikiaccount
 WIKIAPI="http://www.coreboot.org/api.php"
-TITLE="Supported_Motherboards"
+TITLE="$2"
 cookie_jar="$HOME/.wikicookiejar"
 #Will store file in wikifile