push: quote the $host var
user_default.erl: add Erlang dbg commands