xmobar/src, branch 0.34

Update UVWeather branch

2020-06-12T17:16:08Z

Optimize weather plugin by reusing manager and other refactors

2020-06-12T17:14:31Z

As documented in the http-client library, calling newManager is an expensive operation: ``` Creating a new Manager is a relatively expensive operation, you are advised to share a single Manager between requests instead. ``` But inspite of the haddocks in xmobar claiming that once 'Manager' is created, it will be used throughout the monitor is not true. Because for every call of `startWeather` a new manager is being created. Also I removed the option in WeatherOpts because even if it is false, it will be ultimately created in `getData` function. Also without using a manager - the plugin won't really work. So, I don't think there is any reason for this option to exist. I have introduced a new dependency http-client-tls to use the shared global manager so that we reuse the same manager every time. This simplifies a lot of code. Note that this is not really a new dependency because http-conduit already depends on it transitively.

Optimize date plugin

2020-06-05T11:25:52Z

We avoid calling getTimeZone for each of the time the date has to be updated. Instead, it's computed once at the start and re-used for each invocation. Looking at the implementation of 'getTimeZone', we can see that it's very expensive: https://www.stackage.org/haddock/lts-15.15/time-1.9.3/src/Data-Time-LocalTime-Internal-TimeZone.html#getTimeZone It calls a C FFI each time to get the time zone (getTimeZoneCTime). This is something which we can avoid and the MR implements that. I have been using my xmobar with this patch and the result has been quite good. My xmobar CPU usage has used to hit 3~7% intermittently. With this MR, It hits only 0.7% intermittently which is nice. :-)

hlinting

2020-05-19T18:38:59Z

Add EOF check before getLine operation from stdin

2020-05-19T06:07:19Z

Fixes https://github.com/jaor/xmobar/issues/442

Temporarily restore Stdin to its previous state

2020-05-17T22:44:49Z

more hlinting

2020-05-11T18:32:06Z

hlinting

2020-05-11T18:22:41Z

Fix crashes/busy looping happening via index

2020-05-10T14:13:56Z

Right now, with the `StdinReader` plugin enabled - you can crash/cause busy looping of xmobar if the following html file is opened: ``` hello <fn=1>string</fn> ``` More details about this bug is here: https://github.com/jaor/xmobar/issues/442#issuecomment-625706001 This MR also fixes another bug which produces a crash in xmobar if you pass non integer items between fn:

recursively hlinting

2020-05-06T21:20:34Z