we can see that you have EFI-BOOT partition on both devices … so as i think the one on your /dev/sdc1 was created by Antergos installation… As every EFI-BIOS is different this is maybe needed or not i do not know here… If you are able to change EFI-BIOS to boot up from /dev/sdc directly, it should work for you, also adding windows to the boot-menu (grub)
To get it work you need to open the Luks containers before as you might know…
mount /dev/sdc3 /mnt
mount /dev/sdc2 /mnt/boot
mount /dev/sdc1 /mnt/boot/efi
grub-mkconfig -o /boot/grub/grub.cfg
grub-install --target=x86_64-efi --efi-directory=/boot/efi --bootloader-id=Antergos-grub
@Keegan ty for the tips, I installed it, and the lag issue vanished, but got few issues… icons are too small and fail to change size with right-click on desktop. But am fairly impressed, if I could solve the resolution issue would be great. Thank you @Keegan
My father (who turned 80 last week) asked my advice on buying a new laptop. He ran Antergos (which I installed for him) on his 10 year old laptop, but it broke down this week. The hardware can be fixed, but considering the costs, it’s better to buy a new one.
He set his eyes on an HP Pavilion from around 500 euro, considering his old laptop was an HP, he rather sticks to the same brand.
The first one he’s considering has an Intel i3 Sky lake cpu with integrated graphics, with 4 gb RAM and a 128 GB SSD.
The second one is the same model, but ships with an AMD E8-7410, 8 GB RAM, AMD Radeon R5 graphics (integrated?) and a 256 GB SSD.
The AMD version is almost 80 euro cheaper, does anyone has experience running Linux on a computer with (sort of) the same AMD specs?