From 3c831f9381d8268cf07d659419066e03979e19b0 Mon Sep 17 00:00:00 2001 From: Tom Willemse Date: Mon, 3 Mar 2014 23:59:19 +0100 Subject: Allow a name to be used to remove a repository Allow users to specify a name instead of a path to remove a repository from the repository list. Paths may also still be used. --- doc/gitto.texi | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'doc') diff --git a/doc/gitto.texi b/doc/gitto.texi index f99ae82..0469a09 100644 --- a/doc/gitto.texi +++ b/doc/gitto.texi @@ -197,6 +197,15 @@ for example if you have given up on a project, you can use the Remove @var{location} from the list of registered repositories. This first checks to see whether or not this repository has even been registered. + +@var{location} may be either an absolute or relative path, or it may +also be the name of a repository as displayed by @command{list}. + +In case a name is specified and there are multiple possibilities a +list will be presented to you and you may choose which of the +repositories to remove based on the locations of each repository. The +question will be repeated until a valid answer is given (a number +appearing in the printed list). @end deffn In the event you (re)move some of your repositories and don't have the -- cgit v1.3-2-g0d8e