removing Chrome OS

[Colin Law]

On 11 July 2012 19:31, G. <pegngaryubuntu at gmail.com> wrote:
> I have Chrome OS installed alongside Ubuntu 12.  If I delete Chrome
> will I need to repair GRUB?

Assuming you initially installed ubuntu and then added chrome os in a
separate partition then if you remove Chrome OS then I think all you
need to do is to boot into Ubuntu and, in a terminal, run
sudo update-grub
which will search the available partitions and re-build the boot menu.
 I am not sure about the situation if Chrome OS is in the boot
partition however, if that is the case then I would take advice from
someone else.

Colin