Configuration

Automathics uses two configuration files: one for automath and one for automathd. The default configuration is embedded in the package and can be overridden by placing a file in one of the following locations (in increasing priority order):

• /etc/automathics/automath.yaml (system-wide)

• /etc/automathics/automathd.yaml (system-wide)

• ~/.config/automathics/automath.yaml (user-level)

• ~/.config/automathics/automathd.yaml (user-level)

Default automath.yaml

debug: False

locale: en

fonts:
  text_name: Ubuntu
  text_path:
  math_name: lcmmi8mod
  math_path:
  size: 18.0
  math_chars: xyzabcdefghijk
  narrow_space_fallback_ratio: 0.498

rendering:
  color: "#222222"
  slide_number: "#ADADAD"
  fractions:
    bar_thickness_ratio: 0.085
    bar_pad_v_ratio: 0.12
    bar_pad_h_ratio: 0.10
  sup:
    size_ratio: 0.65
    raise_ratio: 0.02
  angle:
    hat_height_ratio: 0.32
    hat_clearance_ratio: 0.06
    hat_stroke_ratio: 0.07
    ang_stroke_ratio: 0.09
    ang_right_margin: 0.84
    ang_width: 1.02
    ang_gap_ratio: 0.12
  tables:
    cell_pad_h_ratio: 0.15
    cell_pad_v_ratio: 0.15
    border_thickness: 1
    arrow_gap_ratio: 0.50
    arrow_extent_ratio: 1.4
    bubble_pad_ratio: 0.1
    bubble_auto_resize: 0.7
    bubble_thickness: 1.2
    arrowhead_size: 6.0

numrange:
    threshold: 10000

db:
    reset_ratio: 0.66
    tracking_max_entries: 100

sources:
    generative_cache_size: 20

logging:
  log_dir: /var/log/automath
  log_level: INFO
  max_bytes: 1 # MB
  backup_count: 9
  log_to_console: True

Default automathd.yaml

settings:
  host: 127.0.0.1
  port: 9998
  timeout: 10 # seconds

logging:
  log_dir: /var/log/automathd
  use_syslog: True
  syslog_facility: daemon
  log_level: INFO
  max_bytes: 1 # MB
  backup_count: 9