Running the Command Line Indenter - touniez/comp402doc GitHub Wiki

Use the following command at a command prompt to run the indenter on a series of files.

java -classpath drjava-DATE-TIME.jar edu.rice.cs.drjava.IndentFiles

-indent N

filename.java

Replace DATE-TIME with the appropriate value for your DrJava file. The "-indent" argument is optional, where N is the number of spaces to use for an indentation level.