Quickly create Linux with vagrant
1. Download VirtualBoxhttps://www.virtualbox.org/wiki/Downloads 2. Download Vagranthttps://www.vagrantup.com/downloads 3. Test Vagrant1vagrant 4. Vagrant init1vagrant init centos7 https://mirrors.ust
Docker image source summary
0. Realted Informationhttps://www.coderjia.cn/archives/dba3f94c-a021-468a-8ac6-e840f85867eahttps://cloud.tencent.com/developer/article/2434428https://blog.csdn.net/BigData_Mining/article/details/10378
Install Docker Engine on CentOS
Official documentationhttps://docs.docker.com/engine/install/centos/ Related Documentshttps://www.cherryservers.com/blog/install-docker-ubuntu-22-04https://www.digitalocean.com/community/tutorials/how
Git common commands
1. Base1.1 New code base12345# Initialize the local repositorygit init# Clone remote repositorygit clone [url] 1.2 ConfigureGit’s settings file is .gitconfig, it is usually in the user home directory
Page replacement algorithms
Use c++ to implement page replacement algorithmCode :https://github.com/moblackwhite/Page-replacement-algorithm Running result:
Wrong topic summary of integral(1)
\begin{aligned}\int \frac {x} {(x+2)^3} \,{\rm d}x & = \int \frac {(x+2)-2} {(x+2)^3} \, {\rm d}x \\ & = \int \frac {1} {(x+2)^2} \, {\rm d}x - 2 \int \frac {1} {(x+2)^3} \, {\rm d}x
Clone using a proxy
ExampleIf you need to download files with git under a proxy, setting proxy server system-wide couldn’t be enough. You could also try the following:git config --global http.proxy http://<proxy-serv