A pluggable command-line frontend