Best option seems to be, create a derived mode that would cover #13 and the deploy logs too.
The mode takes a URL, binds g to refresh, but also allows a key to start/stop auto refreshing.
Then provide a customization to set the initial state of the auto refresh variable. And another customization for how often to run it? Every 10 seconds probably.
Best option seems to be, create a derived mode that would cover #13 and the deploy logs too. The mode takes a URL, binds
gto refresh, but also allows a key to start/stop auto refreshing.Then provide a customization to set the initial state of the auto refresh variable. And another customization for how often to run it? Every 10 seconds probably.