Tuesday, 2023-10-24

T42<edp_17> Hi all, I'd like to copy missing files from the building environment ($ANDROID_ROOT/device/audio/) to the device. Can somebody tell me into what folder I should put them?06:58
T42<edp_17> * ($ANDROID_ROOT/device/*/*/audio/)06:59
T42<edp_17> Okay, I've found it. They should be copied into /vendor/etc/ on device. :)12:12
T42<freesoftwareman> Redmi note 9 pro porting?20:03
malwhich codename is that?20:04
malif it's that miatoll then there at least was a port done last year, not sure how far they got20:06
mal@freesoftwareman if you search here https://piggz.co.uk/sailfishos-porters-archive/index.php for that miatoll you should find links to the repos at least20:12
T42<freesoftwareman> Ok, tnx20:12
malnot sure if the person who did that is still here, maybe you can try to ping in telegram20:13

Generated by irclog2html.py 2.17.1 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!