pirate-608/dsh-plugins discovered from GitHub.
dsh plugin --profile web add github:pirate-608/dsh-plugins#path:plugins/zju-learning-tools
View the source on GitHub