手元にあったUbuntu18.10だとやり方が悪いのかWebIDEまでとりあえず進まなかった。
とりあえずUbuntu18.04に入れ替えて試してみよ。