Jiri Hoogeveen wica128

## snippet.txt
#!/bin/bash
set -x

shell='user@ssh-host-on-ipmi-network'
ipmihost='192.168.1.16'
ifalias='127.0.0.2'
ports="80 443 623 5900 5901 5120 5123 8889"

for p in $ports; do
    fwportspec=" ${fwportspec} -L $ifalias:$p:$ipmihost:$p "
	#!/bin/bash
	set -x

	shell='user@ssh-host-on-ipmi-network'
	ipmihost='192.168.1.16'
	ifalias='127.0.0.2'
	ports="80 443 623 5900 5901 5120 5123 8889"

	for p in $ports; do
	fwportspec=" ${fwportspec} -L $ifalias:$p:$ipmihost:$p "