It is common to share /home mount and $HOME directories across multiple OSs, e.g. Ubuntu and Debian. The respective desktop environments (say, Ubuntu Gnome vs. Debian Gnome) try to share various configurations in $HOME/.config and $HOME/.local — this can cause conflicts and confusion. E.g., the same fonts or themes may not be available on both OS installs. Different extensions and their versions may also create a mess. Is there a way to avoid this problem, short of creating a separate $HOME for each OS and then perhaps symlinking a shared "real" home directory from those?