Tim Neumann
Tim Neumann
> The correctness argument should be at the forefront, as that's the primary justification for doing this. Once the correctness argument is at the forefront, I think it would be...
I just ran into this problem (not being able to specify multiple targets), because I was setting up GitHub actions for an iOS project. Two thoughts: 1) Wouldn't a backwards-compatible...
I believe this breaks the `clean` subcommand, due to this `panic`: https://github.com/rust-lang/rust/blob/c5b105dc9a14116248512ba6fec8d3f0f4f24f0f/src/bootstrap/builder.rs#L821 (See also [this custom CI bot](https://buildkite.com/llvm-project/rust-llvm-integrate-prototype/builds/13872#018391b5-279d-4500-8947-c0173b8b3aa1)).
(Btw, I _**suspect**_ that it would be possibly to control Spotify playing on Raumfeld devices using the [Spotify Integegration](https://www.home-assistant.io/integrations/spotify/), however what I'm looking for is basic controls (e.g. play/pause, next,...
The `room` does not show up, but the `renderer` does: ```sh $ curl -L speaker-wohnzimmer:47365/listDevices ``` ```xml Speaker Schlafzimmer Raumfeld ConfigDevice Speaker Wohnzimmer Teufel Raumfeld Device Raumfeld MediaServer Schlafzimmer Teufel...
`play` and `pause` work. So do `{set,get}_volume`, `{next,previous}_track` and `get_position_info`. `upnp.get_media_info(location)` does not work: `Unexpected error with get_media_info: No attribute or action found with name 'GetMediaInfo'.` I haven't tested any...
$ curl -sL http://192.168.3.115:55517/rendercontrol.xml (click to expand) ```xml 1 0 PlaySystemSound InstanceID in A_ARG_TYPE_InstanceID Sound in A_ARG_TYPE_SystemSound GetMute InstanceID in A_ARG_TYPE_InstanceID Channel in A_ARG_TYPE_Channel CurrentMute out Mute SetMute InstanceID in...
> Spotify was simply not on my list (of interest) :) Then even more so, thanks for looking into this. > Perhaps you can test it on your side. Done....
Ah, I didn't realize that `teufel_raumfeld` also got updated. Let me try that now.
Alright, I did some tests: The room is recognized as "active" when Spotify is playing. However the play state does not appear to be correctly detected: A "Play" (instead of...