diff options
author | Tom Willemse | 2014-03-03 23:59:19 +0100 |
---|---|---|
committer | Tom Willemse | 2014-03-04 00:06:51 +0100 |
commit | 3c831f9381d8268cf07d659419066e03979e19b0 (patch) | |
tree | 952fe93050f31eb1dd876856c7b8b886dc94becd /doc/gitto.texi | |
parent | 53db54e71da298fca37e5ae10ca8295ba33af441 (diff) | |
download | gitto-3c831f9381d8268cf07d659419066e03979e19b0.tar.gz gitto-3c831f9381d8268cf07d659419066e03979e19b0.zip |
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.
Diffstat (limited to 'doc/gitto.texi')
-rw-r--r-- | doc/gitto.texi | 9 |
1 files changed, 9 insertions, 0 deletions
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 |