On my Raspberry Pi / LibreElec I have activated the kernel IR device (gpio-ir), and plugged an ir receiver module into GPIO18. I checked it with irrecord, and it's working (means: dots are showing when I press a button on any remote)! By the way, LibreElec is a great piece of work, keep it up!
What I wanna do now is configure my programmable remote to be used with LibreElec.
While I have tried to understand the material on the LibreElec wiki (Infrared Remotes [LibreELEC.wiki]), I guess I must be too dumb to understand. It is not clear to me what is specific for LIRC and how it relates to gpio-ir and what problems are real problems and what problems are only problems to people who are coming from outdated information. What I would like to avoid also is pressing buttons for several hours just to teach the Pi something that has been done before.
I imagine that it is probably possible to just do the following:
1) download a file for the remote of some arbitrary device X (which I don't necessarily own, but which is reasonably well supported by the community)
2) put the file to some folder in my LibreElec installation, and finally
3) configure my programmable remote (Logitech Harmony One for those who are interested) to use device X
Am I on the right track?