As a workaround I did connect my Pixel phone to hotel wifi and offered hotspot to which I connected the Roku. But that means Roku streaming goes twice through wifi in my room and all through my phone, which I have to charge. A workaround, but a kludge if I ever saw one, to be sure.
I doubt you were using the hotel WiFi once you enabled your hotspot. Unless your phone can do both at the same time (which I highly doubt) all you did was connect your Roku to your phone and then used your phone data for the Roku. I will say I've done that myself with an Android player I have that I am experimenting with for travel.
I do know what I am doing. You, atc98092, can doubt me, but that doesn't change the matter: I am using both the hotel wifi _and_ offering hotspot to Roku, because my Pixel phone on Google Fi _can_ and _does_ both at the same time. I realize not all phones may be capable of this, or some providers may preclude this functionality, but I'm lucky to have found a combination of hardware and provider that enable this. How do I know I'm achieving this feat? I have my mobile data turned off. And am regularly checking my mobile data usage. After an entire evening of streaming my total mobile data usage for the current billing period (cycle ends in 8 days) is still 0 bytes.
However, let's not lose focus: whatever kludgy workaround I ended up using, it is Roku device that should connect direct to hotel wifi.
Oh, I'm not doubting you. It is absolutely dependent on the device. I tried on my iPhone yesterday activating the hotspot while connected to WiFi, and it WiFi connection indicator immediately went away on the home screen. It's good to know that it works with a Pixel phone.
If you are interested in using your Linux laptop simultaneously as an ad-hoc hotspot while still using wifi (can still use all your devices, basically sharing wifi access), you might be interested in installing "linux-wifi-hotspot" on your machine.
This is a very easy to use software and of course, open source. I have used others in the past which were more terminal based and complicated (ie. NetworkManager/nmcli), but linux-wifi-hotspot is as easy as it gets. (especially if you are Ubuntu-based). Essentially you connect to a wifi network, then run the command "wihotspot" in your terminal, and a GUI (graphical interface) will open where you basically just "create a hotspot". Then connect your devices to that hotspot. (I verified still working with Roku devices using my home network wifi on both my Ubuntu and Arch based distros).
Here is the link to linux-wifi-hotspot project on Github. Be sure to read through what it does to give you a better understanding. https://github.com/lakinduakash/linux-wifi-hotspot
Here is a link to a very easy tutorial on how to install linux-wifi-hotspot. Sometimes Github can be confusing with Install instructions. https://www.makeuseof.com/create-wireless-hotspot-on-linux/
------
Basically for Ubuntu, enter into terminal (one at a time, followed by enter)
sudo add-apt-repository ppa:lakinduakash/lwh
sudo apt update
sudo apt install linux-wifi-hotspot
------
Then to launch linux-wifi-hotspot, just type in wihotspot in terminal.
Might be nice to have this as a backup in case you run into problems again in the future. I would get it running using your home network wifi so you know how it works, then you will be familiar with it if the instance arises again on the road.
------
Similar hotspot feature is apparently available for Windows 10 and 11 with this hotspot feature/wifi sharing, but am unfamiliar with it. (as I rarely, if ever use Win OS). https://support.microsoft.com/en-us/windows/use-your-windows-pc-as-a-mobile-hotspot-c89b0fad-72d5-41e8-f7ea-406ad9036b85
