Use <pre> to format bash commands

Change-Id: Iae36e9d2e16fbeede03e983b69b04bbaee573345
Merge "Use <pre> to format bash commands"