#!/bin/sh

exec >&3

CHIPCARD_TOOL="/usr/bin/chipcard-tool"
if [ -x $CHIPCARD_TOOL ]; then
        echo 'Available chipcard readers (output of "chipcard-tool list"):'
	$CHIPCARD_TOOL list | sed -e '/^Server:.*$/d'
else
	echo "$CHIPCARD_TOOL is not executable. No information available."
fi
