GNUBoot
/
coreboot-kgpe-d16
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

board-status: make push-to-wiki more flexible 

Change-Id: I952a694f645caf9d9726965e39afc09c6fdce0e3
Signed-off-by: Patrick Georgi <pgeorgi@chromium.org>
Reviewed-on: https://review.coreboot.org/13741
Tested-by: build bot (Jenkins)
Reviewed-by: Martin Roth <martinroth@google.com>
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
This commit is contained in:
Patrick Georgi 2016-02-19 10:24:07 +01:00 committed by Patrick Georgi
parent 8a0dae628f
commit 2d5d552fa5
2 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
util/board_status/to-wiki/README
View File

@ -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. 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 `push-to-wiki.sh FILENAME TITLE` can be used to push a file into the wiki.
in TITLE, while user credentials are looked up in ~/.wikiaccount, which should look like User credentials are looked up in ~/.wikiaccount, which should look like
USERNAME=user USERNAME=user
USERPASS=password USERPASS=password

3
util/board_status/to-wiki/push-to-wiki.sh
View File

@ -1,9 +1,10 @@
#!/bin/bash #!/bin/bash
# $1: file containing text # $1: file containing text
# $2: wiki page to update
. ~/.wikiaccount . ~/.wikiaccount
WIKIAPI="http://www.coreboot.org/api.php" WIKIAPI="http://www.coreboot.org/api.php"
TITLE="Supported_Motherboards" TITLE="$2"
cookie_jar="$HOME/.wikicookiejar" cookie_jar="$HOME/.wikicookiejar"
#Will store file in wikifile #Will store file in wikifile