#!/bin/sh DIR=/tmp/.dwarf_$(basename $@ .dwarfs)$RANDOM mkdir $DIR echo $DIR dwarfs -f $@ $DIR 2> /dev/null rmdir $DIR