diff options
author | Joey Hess <joey@kitenet.net> | 2011-04-09 14:15:38 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2011-04-09 14:15:38 -0400 |
commit | 1e7ad2ee7c63c02c8f6b9df465576c8245bba8a6 (patch) | |
tree | 38c6e0b09217f640aa9930618113124b1ca35bdf /doc | |
parent | 40a7ed859c55df12d5da99e596171d27bfcb5ee2 (diff) |
reformat to work around man page conversion bugs
Diffstat (limited to 'doc')
-rw-r--r-- | doc/git-annex-shell.mdwn | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/doc/git-annex-shell.mdwn b/doc/git-annex-shell.mdwn index b32114a74..060d23ca1 100644 --- a/doc/git-annex-shell.mdwn +++ b/doc/git-annex-shell.mdwn @@ -17,6 +17,8 @@ user's restricted login shell. # COMMANDS +Any command not listed below is passed through to git-shell. + * configlist directory This outputs a subset of the git configuration, in the same form as @@ -40,16 +42,14 @@ user's restricted login shell. This runs rsync in server mode to transfer out the content of a key. +## OPTIONS + +Same as git-annex or git-shell, depending on the command being run. + Note that the directory parameter should be an absolute path, otherwise it is assumed to be relative to the user's home directory. Also the first "/~/" or "/~user/" is expanded to the specified home directory. -Any other command is passed through to git-shell. - -# OPTIONS - -Same as git-annex or git-shell, depending on the command being run. - # SEE ALSO [[git-annex]](1) |