| 16 Jan 2022 |
 Jan Tojnar | framac looks like it can be compiled with lablgtk3 https://git.frama-c.com/pub/frama-c/-/issues/149 | 01:45:36 |
| Jan Tojnar | presumably it does not need ocamlgraph since that does not: https://github.com/backtracking/ocamlgraph/issues/87 | 01:46:05 |
| Jan Tojnar | will open a PR | 01:46:12 |
 piegames | It would be cool if most of these packages had a maintainer that could put this much effort into them. I can only give everything the bulk treatment | 01:46:52 |
| Jan Tojnar | tilp should not need libglade https://lpg.ticalc.org/prj_tilp/news.html | 01:47:14 |
| Jan Tojnar | * tilp should not need libglade http://lpg.ticalc.org/prj_tilp/news.html | 01:48:12 |
| Jan Tojnar | but looks like gfm still depends on glade 😿 | 01:53:10 |
| Jan Tojnar | and the github repo is hard to discover https://github.com/debrouxl/tilp_and_gfm | 01:53:58 |
| Jan Tojnar | camlimages only depend on lablgtk optionally https://gitlab.com/camlspotter/camlimages/-/blob/master/camlimages.opam | 01:54:31 |
| piegames | Thank you for digging into this. I'll try to spend a bit more time looking for fixes in the future. | 11:32:05 |
| piegames | Are there any drop-in replacements for gksu? | 13:11:14 |
 Zhaofeng Li | pkexec is the new one | 19:27:50 |
| Zhaofeng Li | ... but it's probably not drop-in | 19:28:15 |
| 20 Jan 2022 |
|  andi- left the room. | 00:11:36 |
| 25 Jan 2022 |
| piegames | I've got a small problem with my libglade PR: https://github.com/NixOS/nixpkgs/pull/155061/commits/d4e861be35c173f7bbfbe325464069ccb1f66a0a | 20:30:31 |
| piegames | That commit removes seemingly optional dependencies from gtk-sharp. Turns out, their presence makes that package produce more bindings. For example, now gnome-sharp is missing libglade-sharp. | 20:31:57 |
| piegames | Dependents of gnome-sharp are tomboy, pdfmod, and most notably monodevelop | 20:32:27 |
| piegames | Okay: so all of these are broken in some form so I'll just remove them | 20:46:35 |
| Jan Tojnar | I vaguely remember that monodevelop should work with GTK 3 | 22:36:43 |
| Jan Tojnar | hmm, apparently not | 22:38:28 |
| Jan Tojnar | and the project is dead https://github.com/mono/monodevelop | 22:38:36 |
| piegames | Moreover, it is said to be broken in nixpkgs since 2018 | 22:38:54 |
 jonringer | My confidence in .net is pretty low. .net core was a sane step. But the whole ecosystem just feels hacked together. | 22:50:20 |
| 27 Jan 2022 |
 hpfr | I've added hardware.bluetooth.settings.Policy.AutoEnable = false; but it is still enabled on startup. bluetooth on my laptop seems to aggressively talk to anything it can and I can't find how to set devices to disconnected (but paired) by default in GNOME, so I want to disable it on boot. is there something I'm missing here? | 01:17:22 |
| hpfr | * I've added hardware.bluetooth.settings.Policy.AutoEnable = false; but it is still enabled on startup. bluetooth on my laptop seems to aggressively talk to anything it can (which causes repeated notifications whenever something is nearby) and I can't find how to set devices to disconnected (but paired) by default in GNOME, so I want to disable it on boot. is there something I'm missing here? | 01:17:54 |
| piegames | You could mkForce that setting FWIW | 10:41:54 |
| Jan Tojnar | mkForce would only help if there was a conflict | 11:22:25 |
| Jan Tojnar | * mkForce would only help if there was a conflict, which one would notice | 11:23:25 |
| piegames | Ah, then I misunderstood the problem | 12:20:48 |
| hpfr | yeah it is set in the bluetooth conf just fine, so I guess it's not really a Nix problem | 14:57:03 |
