On Wed, 13 Dec 2023 21:53:25 -0000 (UTC), IanJ wrote:
> Martin Gregorie <mar...@mydomain.invalid> wrote:
>>
>> So, any recommendations for movie players, preferably ins who can
>> handle a wide range of file formats, would would be gratefully
>> received.
>>
>>
>>
> If you are looking for something with a GUI then maybe VLC will suit
> your needs.
Of course! I knew there was something but its several years since I needed
it, and just plain forget about it. Thats almost certainly certainly what
I used before, but Damned if I know how and why it got deleted: almost
certainly some rebuild=from-scratch episode in the dim & distant.
Many thanks