diff -r ec6e1bf8d53b -r 34e954f3ed1c shell/gpio.sh
--- a/shell/gpio.sh	Sat Nov 05 17:38:05 2016 +0100
+++ b/shell/gpio.sh	Sat Nov 05 17:39:49 2016 +0100
@@ -98,7 +98,7 @@
 	local port="$1";
 	local value="$2";
 	if [ $# -ne 2 ] || [[ "$value" != @("0"|"1") ]]; then _gpio_log_error "usage: ${FUNCNAME[0]} <port> <0|1>"; return 1; fi
-	if ! _gpio_valid_port "$port";                          then _gpio_log_error "invalid port number: $port";  return 1; fi;
+	if ! _gpio_valid_port "$port";                   then _gpio_log_error "invalid port number: $port";         return 1; fi;
 	
 	if ! echo "$value" > "/sys/class/gpio/gpio$port/value"; then
 		_gpio_log_error "unable to write value $value to port $port";