Terminalにおいて全角記号が次の文字に半分重なって表示されるバグ(仕様？)は、例えばgnome-terminalの起動コマンドを下記のようにすることで回避できた
/bin/sh -c "VTE_CJK_WIDTH=1 gnome-terminal --disable-factory"
GNOME2環境で編集できたメニューがUnity, GNOME3環境からなくなってしまったため.profileおいてVTE_CJK_WIDTHにした(これが正しいか否かは不明) $HOME/.profile
export VTE_CJK_WIDTH=1