Damien Nadé

Shouldn't $(echo $quoted_name | tr -d '\"') be the (double-quoted) expression "${quoted_name//\"/}" instead ?

Well, removing the warning is quite easy (see 13dd6712db6147747060e2775a128dca65329f9f). But (there's always a but), I understand we now have to have a type for each parameter, and I aesthetically don't...

The warnings go away if you do `@param $string`, and `@param $delimiter` instead.

Maybe the solution is to generate pseudo-php instead of pseudo-C. I'll dig into that.

Hello I thought it was a doxygen mandatory thingy. The bash-doxygen filter does nothing with `@file` itself. It's just passed to doxygen. So I'm not sure if it's "regular", or...

Well. There's always a way. The question is how much blood you want to spill to get it. (Yeah, blood. Sed is dark magic). Detecting command names in simple command...

Through faust, after applying this change https://github.com/faust-streaming/faust/pull/66 it seems to work correctly.

This is not distro-specific. Happens on fedora too. This is a long standing issue. And the more you start/stop the steam client, the more memory it leaks. Took me a...

A very basic solution, to me, would be to include an 'exit' trap, either in the `bin_steam.sh` script or in the `steam.sh` script. (probably the latter) ```bash clean_shm() { find...