paldo installer: resume@SWAP@

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);