// revert live CD specific changes to the system configuration update_progress (adjust_ticks, "Adjusting installation"); string menu_lst_sed; if (settings.swap_dev != null) { menu_lst_sed += "sed -i -e 's/root=cdrom rootfstype=iso9660/root=@ROOTDEV@ resume=@SWAP@/' /upkg/boot/grub/menu.lst /upkg/etc/default/grub"; } else { menu_lst_sed += "sed -i -e 's/root=cdrom rootfstype=iso9660/root=@ROOTDEV@/' /upkg/boot/grub/menu.lst /upkg/etc/default/grub"; } var adjust_cmd = new Command ("rm -rf /upkg/{.readonly,home/paldo}" + " && sed -i -e '/^paldo:/d' -e 's/:paldo$/:/' /upkg/etc/{passwd,group}" + " && cp /upkg/usr/share/doc/gdm/custom.conf.paldo /upkg/etc/gdm/custom.conf" + " && cp /upkg/usr/share/doc/util-linux/default-fstab.paldo /upkg/etc/fstab" + " && sed -i -e '/title English (Switzerland)/,//d' /upkg/boot/grub/menu.lst" + " && " + menu_lst_sed); adjust_cmd.exit += adjust_exit; if (!adjust_cmd.run ()) { display_error ("Unable to run command `%s`".printf (adjust_cmd.command_line)); return; }