open hobbe
dir -R /pub/debian
bye
