1 args "--unamed-opts=audio_file --no-handle-version --conf-parser --no-handle-help"
3 purpose "Command line audio player."
5 description "para_play operates either in command mode or in insert
6 mode. In insert mode it presents a prompt and allows to enter commands
7 like stop, play, pause etc. In command mode the current audio file
8 is shown and the program reads single key strokes from stdin. Keys
9 may be mapped to commands. Whenever a mapped key is pressed, the
10 associated command is executed."
13 define(CURRENT_PROGRAM,para_play)
14 define(DEFAULT_CONFIG_FILE,~/.paraslash/play.conf)
15 define(DEFAULT_HISTORY_FILE,~/.paraslash/play.history)
18 #########################
19 section "General options"
20 #########################
23 include(config_file.m4)
24 include(history_file.m4)
27 ###############################
28 section "Options for para_play"
29 ###############################
33 "randomize playlist at startup."
38 "Map key k to a command."
40 string typestr = "key:command [args]"
44 This option may be given multiple times, one for each key