自分用に覚え書き。

vagrant sshしたあとにあるworkspaceではなく、

/vagrant/workspace/

に入る。

workspaceの場所が複数できてしまったっぽい。

あと、シェルを再起動させるには

exec $SHELL

を使う。