args "--unamed-opts=audio_file --no-handle-version --conf-parser --no-handle-help"
include(header.m4)
define(CURRENT_PROGRAM,para_play)
define(DEFAULT_CONFIG_FILE,~/.paraslash/play.conf)
define(DEFAULT_HISTORY_FILE,~/.paraslash/play.history)
#########################
section "General options"
#########################
include(loglevel.m4)
include(config_file.m4)
include(history_file.m4)
###############################
section "Options for para_play"
###############################
option "randomize" z
#~~~~~~~~~~~~~~~~~~~
"randomize playlist at startup."
flag off
option "key_map" k
#~~~~~~~~~~~~~~~~~
"Map key k to a command."
string typestr = "key:command [args]"
optional
multiple
details = "
This option may be given multiple times, one for each key
mapping. Example:
5:jmp 50
"