HomeIsabelle/Phabricator

suppress command echo in output;