Translate between bash and tcsh commands