[SOLVED] US international keyboard in GNOME

[NP_complete]

I know, this may sound naive, but does GNOME support this keyboard layout? If yes, I couldn't find one.The closest choice is: English (Mali, US, intl.). That second layout is almost perfect. However, AltGr + s produces a wrong character. I have a German-speaking relative who uses Debian, and there are several more options available in relation to the US international layout. Could this be locale-dependent? I use en-US, and my relative uses de-DE. Or maybe there is a package to be installed that enables additional layouts?

Many thanks.

[Banana]

Not really sure if I understand it correctly, but this sounds like a layout which has. "..dead keys" in its name

https://wiki.gentoo.org/wiki/Keyboard_layout_switching
https://forums.gentoo.org/viewtopic-t-1094750-start-0.html

https://askubuntu.com/questions/875688/how-to-install-usa-international-keyboard-option-on-ubuntu-gnome-16-10
https://www.reddit.com/r/Fedora/comments/162tvbq/us_international_keyboard_on_fedora_38/
_________________
Forum Guidelines

PFL - Portage file list - find which package a file or command belongs to.
My delta-labs.org snippets do expire

[NP_complete]

@Banana, thank you for replying. Now it works! Reddit was helpful. For posterity's sake: to enable the US international keyboard on GNOME, go to Settings -> Keyboard, then click on the + sign. This brings up a new window called "Add on Input Source". That window has the name of your language listed. Here is the part I did not know about: CLICK ON THE NAME OF YOUR LANGUAGE. You'll see a bunch of extra layouts you can choose from. (These would not be made available if you clicked on the three vertical dots, as I always did). In the yet-unseen (by me, anyway) menu, you will find the keyboard you were looking for.

I've been on GNOME for a number of years, but had NO idea the name of the language was clickable. Should they make this feature more prominent?