html indent
proxy for terminal