Re: [Notion-general] Display workspace number

[Arnout E. <no...@bz...>]

Hi Wojciech,

Thanks for your question. I'm not exactly sure what you'd like to see
though.

To for example get the list of workspace names, you could write a
notionflux script like this:

echo "result = ''; notioncore.region_i(function (r) result = result ..
WRegion.name(r) .. '|'; return true end, 'WGroupWS'); return result" |
notionflux

Which would return your workspace names (including the 'scratch' workspace)
separated by pipes. That might be a starting point to get what you're
looking for?


Kind regards,

Arnout

On Fri, Jun 26, 2015 at 6:10 PM, Wojciech Aniszewski <ani...@co...>
wrote:

> Hi there.
> Is there any way to display workspace number?
> I'm using a custom made dzen status bar, I'd like to see the number there.
> Can this be done?
>
> -WA
>
> --
> Wojtek Aniszewski
> [Fr:  vôitek anichévsky]
> [Eng: voyteck aanishevsky]
> www: http://www.coria.fr/spip.php?auteur1606
>  /^..^\      ,-------------------------------------,
> ( (••) ) ►►►►| My public GPG key ID: AC66485E      |
> (|)_._(|)~   | please use email encryption!        |
>              `-------------------------------------"
>
>
> ------------------------------------------------------------------------------
> Monitor 25 network devices or servers for free with OpManager!
> OpManager is web-based network management software that monitors
> network devices and physical & virtual servers, alerts via email & sms
> for fault. Monitor 25 devices for free with no restriction. Download now
> http://ad.doubleclick.net/ddm/clk/292181274;119417398;o
> _______________________________________________
> Notion-general mailing list
> Not...@li...
> https://lists.sourceforge.net/lists/listinfo/notion-general
>
>