Config File - GNU Aris Manual
Description: GNU Aris Manual

Previous: Dialog, Up: Customization

### 7.2 Customization File

The config file uses s-expressions to store the customization file. It is stored under the home directory, and called ‘`.aris`’. There are several key words that it recognizes:

‘`key-cmd`’
‘`(key-cmd 'cmd' 'key')`’
  Assigns menu ‘`cmd`’ to keyboard shortcut ‘`key`’. The keyboard shortcuts are all in the same format, which is either `s` or `c`, a plus sign, then a letter. A `c` before the letter means ‘`Hold control, and press the key`’, and `s` means the same except with the shift key.
‘`font-size`’
‘`(font-size 'type' size)`’
  Assigns ‘`size`’ to font type ‘`type`’. The ‘`type`’ key word can be either ‘`Small`’, which means set the small font preset, ‘`Medium`’, which means set the medium font preset, ‘`Large`’, which means set the large font preset, or ‘`Default`’, which means set the font size that Aris loads up with intially.
‘`color-pref`’
‘`(color-pref 'type' color)`’
  Assigns ‘`color`’ to color preference ‘`type`’. The ‘`color`’ key word is in hexidecimal.
‘`grade-ip`’
‘`(grade-ip 'addr')`’
  Sets the IP address of the grading server to ‘`addr`’.