1 args "--unamed-opts=audio_file --no-handle-version --conf-parser --no-handle-help"
3 define(CURRENT_PROGRAM,para_play)
4 define(DEFAULT_CONFIG_FILE,~/.paraslash/play.conf)
5 define(DEFAULT_HISTORY_FILE,~/.paraslash/play.history)
8 #########################
9 section "General options"
10 #########################
13 include(config_file.m4)
14 include(history_file.m4)
17 ###############################
18 section "Options for para_play"
19 ###############################
23 "randomize playlist at startup."
28 "Map key k to a command."
30 string typestr = "key:command [args]"
34 This option may be given multiple times, one for each key