[11:39] fhrr: there's a browser extension that allows https://extensions.gnome.org/ to install/enable/disable your gnome-shell extensions [11:49] oh mgedmin, how are you! [11:50] * darkxst is making a comeback, now a Debian maintainer, DD on the way [11:51] after 18months without internet living in the mountains [11:51] (I still live in the mountains but have internet for now atleat) [12:00] congrats, darkxst! [12:02] mgedmin, things are changing a little [12:02] but we will continue to support the vanilla gnome life [12:03] we do however need to find a way to build a community around that, because right now, its vanished [12:11] well, I'm still here ;) [12:11] primarily because I have a znc plugin that makes it hard for me to leave channels, for silly reasons [12:13] speaking of vanilla... [12:14] afaiu gnome-terminal has this patch that adds a white border around the scrollbar, so it'll look good with ambiance/radiance [12:14] but it looks bad with adwaita [12:14] do you know if anyone has any plans of resolving this to look good with all the themes? [12:20] mgedmin, themes are not my thing really, but i have noticed some problems with terminal under adwaita, file bugs and link me in and I may end up looking into them [12:23] I will probably break every rule on the planet in the next two weeks [12:24] a super late libzip transition for the security benifits [12:24] and then a super late transition back to PhD world for my own benefits [18:46] ricotz: I don't think there will be an archive-wide rebuild for bionic. If you have specific packages you want rebuilt with vala, let me know === mgedmin_ is now known as mgedmin === Crystal is now known as Guest13685 [20:05] jbicha, ok, I see === berglh_ is now known as berglh