diff options
| author | Patrick Georgi <patrick@georgi-clan.de> | 2014-08-10 19:06:45 +0200 |
|---|---|---|
| committer | Patrick Georgi <patrick@georgi-clan.de> | 2014-08-11 06:24:40 +0200 |
| commit | 466ea0c3d387445a2282e67de614d16f5478e48a (patch) | |
| tree | aba215893a7d87243cca748c5e159c2f3e1ad42e /util/board_status | |
| parent | d668cceae091156f95a056170e23783193f68e21 (diff) | |
| download | coreboot-466ea0c3d387445a2282e67de614d16f5478e48a.tar.gz coreboot-466ea0c3d387445a2282e67de614d16f5478e48a.tar.bz2 coreboot-466ea0c3d387445a2282e67de614d16f5478e48a.zip | |
board-status: remove whitespace
Change-Id: I76ae5e294c157e73d07fd30cdb1c191d78efd5eb
Signed-off-by: Patrick Georgi <patrick@georgi-clan.de>
Reviewed-on: http://review.coreboot.org/6581
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Edward O'Callaghan <eocallaghan@alterapraxis.com>
Diffstat (limited to 'util/board_status')
| -rwxr-xr-x | util/board_status/to-wiki/push-to-wiki.sh | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/util/board_status/to-wiki/push-to-wiki.sh b/util/board_status/to-wiki/push-to-wiki.sh index 1f9074570251..ad339931e555 100755 --- a/util/board_status/to-wiki/push-to-wiki.sh +++ b/util/board_status/to-wiki/push-to-wiki.sh @@ -1,12 +1,12 @@ #!/bin/bash # $1: file containing text - + . ~/.wikiaccount WIKIAPI="http://www.coreboot.org/api.php" TITLE="Supported_Motherboards" cookie_jar="/tmp/wikicookiejar" #Will store file in wikifile - + #################login #Login part 1 CR=$(curl -sS \ @@ -23,14 +23,14 @@ CR=$(curl -sS \ --data-urlencode "lgname=${USERNAME}" \ --data-urlencode "lgpassword=${USERPASS}" \ --request "POST" "${WIKIAPI}?action=login&format=txt") - + CR2=($CR) if [ "${CR2[9]}" = "[token]" ]; then TOKEN=${CR2[11]} else exit fi - + #Login part 2 CR=$(curl -sS \ --location \ @@ -45,7 +45,7 @@ CR=$(curl -sS \ --data-urlencode "lgpassword=${USERPASS}" \ --data-urlencode "lgtoken=${TOKEN}" \ --request "POST" "${WIKIAPI}?action=login&format=txt") - + ############### #Get edit token CR=$(curl -sS \ @@ -58,14 +58,14 @@ CR=$(curl -sS \ --header "Connection: keep-alive" \ --compressed \ --request "POST" "${WIKIAPI}?action=tokens&format=txt") - + CR2=($CR) EDITTOKEN=${CR2[8]} if [ ${#EDITTOKEN} != 34 ]; then exit fi ######################### - + CR=$(curl -sS \ --location \ --cookie $cookie_jar \ @@ -79,4 +79,4 @@ CR=$(curl -sS \ --form "title=${TITLE}" \ --form "text=<$1" \ --request "POST" "${WIKIAPI}?action=edit&") - + |