Merge remote-tracking branch 'Dieter_be/master'

[code/vcsh.git] / doc / vcsh.1.ronn

diff --git a/doc/vcsh.1.ronn b/doc/vcsh.1.ronn
index 3ee97a469227f40c74f09ab6133ed6e236f5ffcb..21ded83e85117c8752fee7fb22b22c586133f745 100644 (file)
--- a/doc/vcsh.1.ronn
+++ b/doc/vcsh.1.ronn
@@ -9,22 +9,20 @@ vcsh(1) - manage and sync config files via git
 
 `vcsh` enter <repo>
 
-`vcsh` exit
-
 `vcsh` help
 
 `vcsh` init <repo>
 
 `vcsh` list
 
+`vcsh` rename <repo> <newname>
+
 `vcsh` run <repo> <command>
 
 `vcsh` seed-gitignore <repo>
 
 `vcsh` setup <repo>
 
-`vcsh` use <repo>
-
 `vcsh` <repo> <gitcommand>
 
 
@@ -57,9 +55,6 @@ A sample configuration for `vcsh` and `mr` can be found at
 * enter:
   Enter repository; spawn new <$SHELL>.
 
-* exit:
-  Exit repository; unset ENV.
-
 * help:
   Display help.
 
@@ -69,6 +64,9 @@ A sample configuration for `vcsh` and `mr` can be found at
 * list:
   List all local vcsh repositories.
 
+* rename:
+  Rename a repository.
+
 * run:
   Run command with <$GIT_DIR> and <$GIT_WORK_TREE> set. Allows you to run any
   and all commands without any restrictions. Use with care.
@@ -79,9 +77,6 @@ A sample configuration for `vcsh` and `mr` can be found at
 * setup:
   Set up repository with recommended settings.
 
-* use:
-  Use repository; set ENV.
-
 * <repo> <gitcommand>:
   Shortcut to run `vcsh` on a repo. Will prepend `git` to <command> by itself.