I've just accidentally deleted my '/usr/local/share' folder.
This happened while I was creating custom copies of launchers from
Now, if I understand it correctly, the '/usr/local' directory should
only contain files created by the user. In fact, I checked other
subdirectories (bin, etc, games, include, lib, man, sbin, src) and
they are all empty, except for a couple files I manually created in
'sbin' and 'lib'.
But, as I was almost sure that the 'share' dir specifically was _not_
empty before I started messing with it, I just ran 'pacman -Qkq' and
it reported '/usr/local/share/man' missing.
This was promptly fixed by reinstalling the 'filesystem' package.
But this has me wondering if there was something more important which
Perhaps something generated by an application or script.
None of my backups include that directory, so I'm afraid this makes me
impossible to check for myself, other than installing/configuring
everything from scratch.
Can you guys clarify this for me?
In case it's relevant, my desktop stack has Cinnamon, LightdDM,
networkManager, Samba and other less important packages on top of a
standard Arch Linux setup.