[darcs-users] bookmarks

Gerhard Siegesmund jerri at jerri.de
Thu Mar 31 18:55:11 UTC 2005


> So, what do you think of supporting a lightweight, non-constraining form
> of archive registry, namely bookmarks?
> You could just do "darcs bookmark <repo loc> <nick>", "darcs bookmark
> -l" to list bookmarks (and have some other options, like deletion), and
> you could use the nick as reference being equivalent to the full location
> during ordinary interaction.

Take a look at

_darcs/prefx/repos

This might be, what you need. From the manual:

repos

The _darcs/prefs/repos file contains a list of repositories you have
pulled from or pushed to, and is used for autocompletion of pull and
push commands in bash. Feel free to delete any lines from this list
that might get in there, or to delete the file as a whole.


So this seems to be some sort of bookmark-system. :)

-- 
cu
  --== Jerri ==--
Homepage: http://www.jerri.de/   ICQ: 54160208
Public PGP Key: http://www.jerri.de/jerris_public_key.asc
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
Url : http://lists.osuosl.org/pipermail/darcs-users/attachments/20050331/c9fa0828/attachment.pgp 


More information about the darcs-users mailing list