I had hoped that someone would explain the intricacies of streaming from the Pi TV Hat to a television or computer via the new Raspbian version of an accelerated VLC. Since no one has done this yet, you will have to put up with my ramblings. I am using the newly-updated Raspbian. First you have to type the tvheadend address into the address bar of your browser. I prefer to start with my pi identity since typing just "192" autocompletes the necessary tvheadend address. If you want to run a currently broadcasting station with much better quality that tvheadend's internal TV player, use the Electronic Programming Guide. Find a live station you want to record and press the Information icon on the far left of the screen. An information box appears. Just press the blue play arrow and nothing appears to happen. When you open up the "Downloads" directory in your home folder you will see a music symbol with a number of letters and numbers below it. When you double click on this, VLC is loaded if it is not already present and a station begins playing. Once you know what the station is you can use the "Rename" feature to give it a name e.g. "Yesterday". Should you want to record part of a live programme, click on the screen, select "Record" from the menu and it will appear as a "vlc-record-"file which you can rename.
I have not done any timed recordings yet so I hope that the following information is correct.Repeat the steps outlined above for a programme that you want to record. When the information box appears. Press on the "Record" button and,hopefully, the programme will be recorded. You will have to leave the pi switched on with tvheadend still running.
There is so much about VLC that I need to know. Could someone produce a "Sticky" on its main features? I gave up on it years ago when I realised that the unaccelerated version could not play videos properly. I moved to omxplayer, then omxplayergui and Rpi_Mike's excellent accelerated mpv. To play music I used mpc/mpd and then gkreidl's very useful improvements to omxplayergui which allowed me to play music, recorded TV programmes, videos, recorded radio and live radio stations . I do not know how to change the output directory of VLC or how to produce a random play feature when accessing my music directory. Perhaps the forthcoming issue of The Magpi will provide the information on VLC.