Following the directions in the link above I finally got it to work.
I had many problems. I had my IR receiver connected to pin 18 and
had edited the modules file and the config.txt with that as the pin number.
WRONG: It uses the BCM number which is 24. Also I had followed an instruction
to list the entry as gpio-ir gpio_in_pin=24 I dropped the in so it is now
gpio-ir gpio_pin=24 finally ir-ctl -d /dev/lirc0 -r started showing the output of
the IR receiver.
It is a pity that so many out dated and totally wrong instructions exist.