[01:39] has anybody had success installing node.js v13 in 20.04? [02:19] good morning === extorr is now known as extor [12:11] Was there a transition from python 3.7 to 3.8 recently? seeing a 20.04 host with several packages marked as local install, e.g. libpython3.7.7-1 but cannot find a source for it via packages.{ubuntu,debian} [12:12] python3: [12:12] Geïnstalleerd: 3.8.2-0ubuntu1 [12:15] checking dpkg logs [12:22] TJ-: on 2020-03-09 [12:37] it turns out it came from debian experimental or testing [20:10] Hello everyone. I have a dumb question. I'm trying to install php and its dependencies. There's almost everything on php 7.3, for example php7.3-json, but when i try and install php-geoip, i have php7.4-geoip (and other dependencies as 7.4) [20:10] Should I expect 7.4 or 7.3 with focal? [20:11] loru: there is a transition ongoing to 7.4 [20:11] loru: php-defaults hasn't migrated yet (i believe) but will soon? [20:11] Alright [20:11] I hope it'll be okay, my whole code is on 7.3 I hope not much is going to break :( [20:11] https://launchpad.net/ubuntu/+source/php7.4 [20:12] reinstall to 7.43 ? [20:12] 7.43? lol === nt0__ is now known as nt0 [21:57] Hey guys, looking for some insight. I have a few games I play in Ubuntu and the experience is flawless in 18.04. I play Minecraft with BSL shaders, and Factorio through Steam. In 20.04 I have some issues, basically some minor screen tearing and the camera pan in Minecraft just isn't as buttery smooth as in 18.04 [21:57] Now is this something that just goes away once 20.04 is officially released? If it works in an older version, it should technically work in the newer version as well, right? [22:28] loru: In progress as you speak: https://launchpad.net/bugs/1869087 . [22:28] Launchpad bug 1869087 in php7.3 (Ubuntu) "Remove "php7.3" from Focal, which has transitioned to php7.4" [Undecided,New] === leden_ is now known as leden