gui.ggo

   1 #------------------------
   2 section "general options"
   3 #------------------------
   4
   5 option "config_file" c
   6 #~~~~~~~~~~~~~~~~~~~~~~
   7 "(default='~/.paraslash/gui.conf')"
   8
   9         string typestr="filename"
  10         optional
  11
  12 option "loglevel" l
  13 #~~~~~~~~~~~~~~~~~~
  14  "set loglevel (0-6)"
  15 int typestr="level"
  16 default="3"
  17 optional
  18 details="
  19         See \"para_server --detailed-help\" for the discussion of
  20         loglevels.
  21 "
  22
  23 option "timeout" t
  24 #~~~~~~~~~~~~~~~~~
  25 "set timeout"
  26
  27         int typestr="milliseconds"
  28         default="30"
  29         optional
  30
  31 option "stat_cmd" s
  32 #~~~~~~~~~~~~~~~~~~
  33 "command to read server and audiod status
  34 data from"
  35
  36         string typestr="command"
  37         default="para_audioc stat"
  38         optional
  39
  40 #---------------------------------
  41 section "mapping keys to commands"
  42 #---------------------------------
  43
  44 option "key_map" k
  45 #~~~~~~~~~~~~~~~~~
  46
  47 "Map key k to command c using mode m. Mode
  48 may be d, x or p for display, external and
  49 paraslash commands, respectively. Of course,
  50 this option may be given multiple times, one
  51 for each key mapping."
  52
  53         string typestr="k:m:c"
  54         optional
  55         multiple