I don’t remember anymore, this happened 9 months ago. I remember trying to install lineage and following their instructions, but then lineage seems to be incompatible with my device. Then I, apparently, tried twrp and somehow installed it.
FWIW I don’t care about the data, I just want to install a rom that works, preferably a non proprietary one.
ETA: On my desktop’s terminal if I type ‘adb devices’ it returns: KC63JG60633VUN recovery. How far am I?