diff options
author | Joey Hess <joeyh@joeyh.name> | 2015-03-25 12:09:49 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2015-03-25 12:09:49 -0400 |
commit | f77d5bcc56a4692f321896dedab75c6ec32f967a (patch) | |
tree | b57bf5d62fe1651502917f13d093ce9b4d79a6c3 /doc/git-annex-proxy.mdwn | |
parent | 00c09b2038611de97c26f4141a748f08cc8fe570 (diff) |
finished splitting out man pages for all commands
Diffstat (limited to 'doc/git-annex-proxy.mdwn')
-rw-r--r-- | doc/git-annex-proxy.mdwn | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/doc/git-annex-proxy.mdwn b/doc/git-annex-proxy.mdwn new file mode 100644 index 000000000..23621ea06 --- /dev/null +++ b/doc/git-annex-proxy.mdwn @@ -0,0 +1,38 @@ +# NAME + +git-annex proxy - safely bypass direct mode guard + +# SYNOPSIS + +git annex proxy `-- git cmd [options]` + +# DESCRIPTION + +Only useful in a direct mode repository, this runs the specified git +command with a temporary work tree, and updates the working tree to +reflect any changes staged or committed by the git command. + +For example, to revert the most recent change that was committed +to the repository: + + git annex proxy -- git revert HEAD + +To check out a past version of the repository: + + git annex proxy -- git checkout HEAD^^ + +To rename a directory: + + git annex proxy -- git mv mydir newname + +# SEE ALSO + +[[git-annex]](1) + +[[git-annex-direct]](1) + +# AUTHOR + +Joey Hess <id@joeyh.name> + +Warning: Automatically converted into a man page by mdwn2man. Edit with care. |