README.md: fix levels.

pull/1/head
Hui Lan 2021-07-16 20:17:12 +08:00
parent ef0b52a12b
commit 20784b83d0
1 changed files with 9 additions and 9 deletions

View File

@ -32,27 +32,27 @@ Assuming that docker has been installed ...
ssh to ubuntu@118.25.96.118 ssh to ubuntu@118.25.96.118
cd to /home/lanhui/englishpal cd to /home/lanhui/englishpal
## Stop all docker service \# Stop all docker service
sudo service docker restart sudo service docker restart
## If you know the container ID, then the above comamnd is an overkill. Use the following command instead. \# If you know the container ID, then the above comamnd is an overkill. Use the following command instead.
sudo docker stop ContainerID sudo docker stop ContainerID
## You could get all container ID with the following command. \# You could get all container ID with the following command.
sudo docker ps sudo docker ps
## Rebuild container. Run this after modifying the source code. \# Rebuild container. Run this after modifying the source code.
sudo docker build -t englishpal . sudo docker build -t englishpal .
## Run the application \# Run the application
sudo docker run -d -p 90:80 -v /home/lanhui/englishpal/app/static/frequency:/app/static/frequency -t englishpal ## for permanently saving data sudo docker run -d -p 90:80 -v /home/lanhui/englishpal/app/static/frequency:/app/static/frequency -t englishpal \# for permanently saving data
sudo docker run -d -p 90:80 -t englishpal ## data will be lost after existing sudo docker run -d -p 90:80 -t englishpal \# data will be lost after existing
## Save space. Run it after sudo docker run \# Save space. Run it after sudo docker run
sudo docker system prune -a -f sudo docker system prune -a -f
## Other commands \# Other commands
sudo docker ps -a sudo docker ps -a
sudo docker logs image_name, where image name could be obtained from sudo docker ps. sudo docker logs image_name, where image name could be obtained from sudo docker ps.