uhooi/redpen repository overview
docker-redpen
Docker image for RedPen.
Usage
Shell
Pull the Docker image from Docker Hub:
$ docker pull uhooi/redpen:latest
Create a container from the image and run it:
# Output RedPen version
$ docker run --rm uhooi/redpen --version
1.10.4
# Run RedPen example
$ docker run --rm -v $PWD:/work uhooi/redpen --lang ja --format review --conf redpen-conf.xml --limit 0 foo.re
GitHub Actions
TBD
Tag summary
Content type
Image
Digest
Size
278.3 MB
Last updated
over 6 years ago
docker pull uhooi/redpen