command line tip: quick changing theme