This website requires JavaScript.
Explore
Help
Register
Sign In
dongdigua
/
mirror.dongdigua.github.io
Watch
1
Star
0
Fork
0
You've already forked mirror.dongdigua.github.io
mirror of
https://github.com/dongdigua/dongdigua.github.io
synced
2024-12-01 12:10:54 +08:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
44dc77e35c
mirror.dongdigua.github.io
/
gmi
/
docker
/
update-git.sh
5 lines
79 B
Bash
Raw
Normal View
History
Unescape
Escape
gemini play with docker
2023-05-26 19:21:35 +08:00
#! /bin/sh
docker: fix git path, add log
2023-05-29 11:18:04 +08:00
cd
/dongdigua.github.io
git pull --rebase >> /var/log/git.log 2>
&
1
Reference in New Issue
Copy Permalink