Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
Reduce Size of Git Repository
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
Use Git Large File Storage to Manage Large Files
Git Large File Storage (Git-LFS) is the recommended way to work with large files. Please read the following if have already committed …
Download a Single File from a GitHub Repository
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
curl -sSL https://raw.githubusercontent.com/legendu-net/blog/master/__init__.py
:::bash
curl -sSL https://raw.githubusercontent.com/legendu-net/icon/master/install_icon.sh
References
Docker Issue: Repository Is Not Signed in Docker Build
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
Docker has a limit on maximum apt cache size on the host system. The issue can be fixed by running the following command.
docker image prune -f
References
Speed Up sbt in China
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
Currently sbt uses https by default.
However, the Great Firewall of China makes https visits to websites out of China slow.
Proxy
If you have access to proxy server, it is …