Stefano Volpe

Results 113 comments of Stefano Volpe

Should have time to work on this soon enough.

At https://github.com/mason-org/mason-registry/pull/5266, I am making idris2-lsp available to neovim users via one of its most popular package managers. Portability is one of mason's key features: All installed packages are isolated...

Yes, I am sure that would be a reasonable assumption. However, `idris2-lsp` is not installed in the expected location to begin with, in my case. The command I am running...

Have no idea what I messed up last time. Eventually managed to make it work. Thank you so much for your patience! Here is the sed command I used for...

Thanks! I am on `mpv`, and would like it to be invoked with its `--audio-device=pipewire` flag.

So is this something I cannot do from pulsemixer, which controls pipewire-pulse, but not wireplumber (if I am reading the docs right)?

Thanks, as stated in the OP, I am on Alpine, which is not systemd-based, but of course has its own daemon to run wireplumber, pipewire, and pipewire-pulse on log in....

I am on 0.11. Logs don't seem to contain anything useful, but I'd be happy to open a new issue as soon as I have proper logs. `/tmp/termusic-server.log` ``` [2025-08-10T13:38:57.243+02:00...

My bad, apparently, I switched to Rusty a while a go in my config and forgot about it. If the following logs can be useful in any way, I will...

> Could you wrap the logs in code-blocks (three backticks)? Sorry! Just fixed! > Also to verify, those logs are from "When running pavucontrol, termusic stops working, and never shows...