For the desktop version of ANNIS, you most probably don't need to change any of the default configuration and you can skip this section. If you are installing ANNIS on a server however, you might want to tweak the settings. The Java Properties, TOML and JSON file formats are used for different kind of configuration.
ANNIS uses the Spring Boot configuration system and thus it will search for a Java Properties based configuration file named
application.properties in the current working directory or a
config sub-directory of the working directory.
You can also use the command line argument
--spring.config.location=file:/<location-on-disk> to specify a specific configuration file.
More options are documented in the Spring Boot documentation.
The following is an example configuration with ANNIS-specific configuration values.
# The port on which this service is listening
# Defines from where the user interface service can be accessed from.
# 127.0.0.1 as value will only allow connections from the server itself (localhost)
# The default value 0.0.0.0 allows connections from everywhere.
# A configuration file for the embedded REST Service.
# See https://korpling.github.io/graphANNIS/docs/v0.30/rest.html
# for more information on how to configure the graphANNIS service.
# If non-empty this URL is used to communicate with the REST backend service instead of using the embedded service (which will not be started)
# set to "true" to globally disable right-to-left text detection
# set to an valid e-mail adress in order to enable the "Report a bug" button
# If "true", the user can create reference links with shortened URLs
# Path to the persistent database, where e.g. the reference links are stored
Being a Spring Boot application, ANNIS configuration properties also be directly given as command line argument.