if (settings.swap_dev != null) { string menu_lst = "sed -i -e 's/root=cdrom rootfstype=iso9660/root=@ROOTDEV@ resume=@SWAP@/' /upkg/boot/grub/menu.lst /upkg/etc/default/grub"; else string menu_lst = "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" + " && sed " + menu_lst);