02-05-2020, 03:37 PM
Thanks for all the info people, as I'm not a very experienced user, I went for a simpler approach and managed to get in installed by changing from the default Debian system to Ubuntu as described here:
https://forum.pine64.org/showthread.php?tid=8119
https://forum.pine64.org/showthread.php?tid=8119