named workspaces ?
Hi all, Is there an extension that supports tagging (naming) workspaces with a string for use with extensions like DynamicLog ? Cheers Dave
dave:
Hi all,
Is there an extension that supports tagging (naming) workspaces with a string for use with extensions like DynamicLog ?
Sure, a custom hook that uses a table to associate workspace tags with strings. pprTag = name . fromIntegral . S.tag where name 0 = "dev" name 1 = "tmp" name 2 = "web" name n = " " ++ show (1 + n) ++ " " Something like that. Should even be possible to renme these things on the fly. -- Don
On Mon, Jun 11, 2007 at 02:32:54PM +1000, Donald Bruce Stewart wrote:
dave:
Hi all,
Is there an extension that supports tagging (naming) workspaces with a string for use with extensions like DynamicLog ?
Sure, a custom hook that uses a table to associate workspace tags with strings.
pprTag = name . fromIntegral . S.tag where name 0 = "dev" name 1 = "tmp" name 2 = "web" name n = " " ++ show (1 + n) ++ " "
Something like that. Should even be possible to renme these things on the fly.
Why not just change the type of "tag" to String? -- David Roundy http://www.darcs.net
participants (3)
-
Dave Harrison -
David Roundy -
dons＠cse.unsw.edu.au