#! /bin/sh echo >&2 'Warning: this is a shell wrapper; consider using consolechars(8)' if [ $# != 1 ] ; then echo >&2 "Usage: `basename $0` " exit 1 fi consolechars --old-sfm $1