command-line interface for dash