#!/bin/bash
if [ -z "$1" ] ; then
  echo Usage: ioslogin hostname or IP address, eg
  echo ioslogin 10.2.3.4
else
  iosrun.py -m "$@" +k
fi