Let me call it "Tools"¶
pre-commit¶
Git supports pre-commit hook to allow developers to do something before commit the code changes to the code respository. Meanwhile, pre-commit is also a GitHub repository name.
Git¶
If I want to always pull from remote branch before I push the local code changes to the remote repository, I can add the git pull origin master command in the file .git\hooks\pre-push.
To push the local code changes to gerrit, it's better to merge the local commits into one commit.
Neovim¶
I configued the autocmd in vimopt.lua as below:
However, when I test it, the below error ocurred:
Finally, I fixed it with the below configuration:
MkDocs¶
MkDocs is a documentation system for Python projects. It is a great tool for creating professional-looking documentation websites with ease. MkDocs uses Markdown, a simple and readable syntax for writing text, which makes it easy to write and maintain documentation. With MkDocs, you can create a documentation site with just a few configuration files and Markdown files. The resulting site is beautifully formatted and includes features like a search bar, table of contents, and navigation menu. MkDocs is highly customizable and can be deployed to various hosting platforms, making it a popular choice for Python projects.