commit 34f110cf695f6f3df748df1ad0f2c0e776586d48 parent fceefec9b30a8df85d2dd5a8d9e83bb8cdd0ed07 Author: Vincent Forest <vincent.forest@meso-star.com> Date: Sun, 7 Apr 2024 19:12:37 +0200 Add more examples They now cover what seem to be the most common use cases for git-wad. Diffstat:
| M | git-wad.1 | | | 36 | ++++++++++++++++++++++++++++++++++++ |
1 file changed, 36 insertions(+), 0 deletions(-)
diff --git a/git-wad.1 b/git-wad.1 @@ -229,6 +229,42 @@ git commit -m "Add a PDF document managed by git-wad" git push origin git wad push .Ed +.Pp +Clone a git repository containing WAD files: +.Bd -literal -offset Ds +git clone user@remote:repo.git +cd repo +git wad init +git wad pull +.Ed +.Pp +Same as above, but saves disk space by transferring only the contents of +WAD files referenced by HEAD: +.Bd -literal -offset Ds +git clone user@remote:repo.git +cd repo +git wad init +git wad pull -1 +.Ed +.Pp +Synchronise the local working tree with the state of the +.Ar origin +repository and update the contents of WAD files accordingly: +.Bd -literal -offset Ds +git pull origin +git wad pull +.Ed +.Pp +Make space on disk by deleting the contents of WAD files that are not +referenced by HEAD: +.Bd -literal -offset Ds +git prune -1 +.Ed +.Pp +Transfer all locally stored WAD files to another remote repository: +.Bd -literal -offset Ds +GIT_WAD_REMOTE_PUSH="user@another_remote:repo_wad" git push -a +.Ed .Sh SEE ALSO .Xr git 1 , .Xr gitattributes 5