Beni Cherniavsky-Paskin

Results 502 comments of Beni Cherniavsky-Paskin

While talking of various linuxes, it's worth linking to https://github.com/AppImage/NCSA-Mosaic-AppImage which is a really easy way to get a pre-built binary (from a different fork). BTW, the AUR link seems...

Some points to remember About `token_from_auth_provider`, `token_from_exec`: 1. In some cases it's bearer token, in some it's a TLS client cert. At least exec provider is generic, you don't know...

See also [entr](https://github.com/eradman/entr) which is a generic tool for watching any set of files/dirt and running/restarting a process on change.

Untested workaround: `concurrently 'exec cmd1' 'exec cmd2'`. IIUC, this result in `/bin/sh -c 'exec cmd1'` which _should_ make any posix-ish shell replace itself rather than forking? BTW I'm confused why...

FWIW, `concurrently --kill-others 'sleep 100 &' 'sleep 2'` reproduces the hanging. (normal linux with bash, Fedora 30)

[picking up from #144] > In exchange for that effort, I'll offer you this data point and possible solution to our woes: If you render to GIF instead of PNG...

BTW, I thougt Charts API will be gone around now but their deprecation notice has changed to: > Important: While the dynamic and interactive Google Charts are actively maintained, we...

Reported at http://www.codecogs.com/pages/forums/pagegen.php?id=2870 A new gem is simultaneous under- and over- sized gifs: http://latex.codecogs.com/gif.latex?%5Cdpi%7B200%7D%20z ![z](http://latex.codecogs.com/gif.latex?%5Cdpi%7B200%7D%20z) http://latex.codecogs.com/gif.latex?%5Cdpi%7B200%7D%20a ![a](http://latex.codecogs.com/gif.latex?%5Cdpi%7B200%7D%20a) (this is the normal size) http://latex.codecogs.com/gif.latex?%5Cdpi%7B200%7D%20N ![N](http://latex.codecogs.com/gif.latex?%5Cdpi%7B200%7D%20N) :-)

CodeCogs responded to that report in May 2015. Back then I saw it became much better but I still caught a couple cases. I now tried again and couldn't find...

FWIW there is a [new notice](https://developers.google.com/chart/image/) saying: > Warning: This API is deprecated in 2012 and was [turned off on March 18, 2019](https://groups.google.com/forum/#!topic/google-chart-api/rZtHTyYgyXI). Please use the actively maintained Google Charts...