My son's university hostel recently turned off inroom ethernet (no idea) and only now provide WiFi - probably WPA2 Enterprise.

That's very annoying since it means all his smart devices like a Chromecast and Amazon Dot stop working since they cannot connect to WPA2 Enterprise.

Is there a way he can share his desktop Internet (from his WiFi dongle ) to the PC's ethernet port and possibly connect a router to the ethernet and share the connection to his devices?  I did look at ICS and it seemed doable but I think we might have missed some settings since we could not get it t work. Links to how to articles would be helpful.

Thanks