I could not get rid of us intl. Everytime I logged in, it reappeared in gnome (System -> Perferences -> Keyboard). I noticed that .dmrc listed us intl. I have fixed this problem by manually editing .dmrc to the desired layout (algr-intl) and then removing the us intl layout in gnome.
Another (related) inconvenience that is not a bug but not beautiful either is that for all using multiple USA layouts (i.e: qwerty/dvorak/deadkeys), all layouts are named similarly in the keyboard indicator. A bit more clever naming would help. Without that I wouldn't care about having many unused layouts.
With two layouts:
us intl
us altgr-intl
I could not get rid of us intl. Everytime I logged in, it reappeared in gnome (System -> Perferences -> Keyboard). I noticed that .dmrc listed us intl. I have fixed this problem by manually editing .dmrc to the desired layout (algr-intl) and then removing the us intl layout in gnome.
Another (related) inconvenience that is not a bug but not beautiful either is that for all using multiple USA layouts (i.e: qwerty/ dvorak/ deadkeys) , all layouts are named similarly in the keyboard indicator. A bit more clever naming would help. Without that I wouldn't care about having many unused layouts.