Move or rename files and update the Git index.
git mv {path/to/file} {new/path/to/file}
git mv {filename} {new_filename}
git mv --force {file} {target}
Copyright © 2014—present the tldr-pages team and contributors.
This work is licensed under the Creative Commons Attribution 4.0 International License (CC-BY).
=> CC-BY This content has been proxied by September (ba2dc).Proxy Information
text/gemini;lang=en-GB