uhooi / docker-redpen

Docker image for RedPen

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