Eduardo Correia

Results 11 comments of Eduardo Correia

I have managed to fix the problem with `flatland-msgs` by adding `pkg-config` to its `nativeBuildInputs`, but now there are some problems with `flatland-server` related with the linkage of the Lua...

In the end, this was due to the fact that Lua was compiled to C, instead of C++. To fix this, without having to recompile Lua, it's possible to encapsulate...

After making all the necessary changes, I've managed to successfully launch `flatland_server` #320

Add `moveit-ros-planning` package to your `buildInputs`

> It's already there I'm sorry, I hadn't noticed. Then try to encapsulate your packages inside a `buildEnv` statement, like so: ```nix buildInputs = with pkgs; with pkgs.rosPackages.humble; [ (buildEnv...

I don't know if any progress had been made, but I started working on this feature in a separate [fork](https://github.com/Educorreia932/parrot) Currently it's scrobbling the played track for users listening to...

> Why do you say "It should be 30 seconds into a track"? On Spotify it starts tracking as soon as I skip into the song thinking Apparently the conditions...

There is a problem. To scrobble a track, both artist and title are required, although I don't know if currently we have that information when playing from YouTube

You can instead try to install the standard library manually as described [here](https://github.com/agda/agda-stdlib/blob/master/doc/installation-guide.md), which should work.

Something similar to [Topsters](https://www.neverendingchartrendering.org/) perhaps?