> On Fri, 4 December 2015, at 4:13 p.m., gevisz <gev...@gmail.com> wrote: >> >> Surely it should go in somewhere like /usr/local/share/X11/xkb/symbols/ >> instead. > > I do not have /usr/local/share directory at all. Do you think it is wrong?
Local directories are ones which you can create to put system stuff in, system stuff which isn't supplied by the distro. The package manager won't install into local directories, so your changes won't be overwritten. Use of a directory like /usr/local/share/X11/xkb/symbols/ would require X11 to honour that path - you'd need to check. Stroller. * https://access.redhat.com/documentation/en-US/Red_Hat_Enterprise_Linux/3/html/Reference_Guide/s1-filesystem-fhs.html • http://unix.stackexchange.com/questions/11544/what-is-the-difference-between-opt-and-usr-local • https://www.centos.org/docs/5/html/5.1/Deployment_Guide/s3-filesystem-usr-local.html • http://www.pathname.com/fhs/pub/fhs-2.3.html#USRLOCALLOCALHIERARCHY