[coreboot-gerrit] New patch to review 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 ae040f7184be121154f15743b1cdce5271f3a2e9
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 d927782..80c4d2c 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="~/.wikicookiejar"
 #Will store file in wikifile