···

       
60
       
60
       
 
       
    jvmOptions = lib.mkOption {

     

       
61
       
61
       
 
       
      description = ''

     

       
62
       
62
       
 
       
        Extra command line options for the JVM running languagetool.

     

       
63
       
63
       
-
       
        More information can be found here: https://docs.oracle.com/en/java/javase/19/docs/specs/man/java.html#standard-options-for-java

     

       
63
       
63
       
+
       
        More information can be found here: <https://docs.oracle.com/en/java/javase/19/docs/specs/man/java.html#standard-options-for-java>

     

       
64
       
64
       
 
       
      '';

     

       
65
       
65
       
 
       
      default = [ ];

     

       
66
       
66
       
 
       
      type = lib.types.listOf lib.types.str;