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 "