Convert para_play to lopsub.
authorAndre Noll <maan@tuebingen.mpg.de>
Tue, 23 Aug 2016 10:04:19 +0000 (12:04 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 26 Mar 2017 09:02:28 +0000 (11:02 +0200)
commit44779382f0699be6b8daeeb25e7e1a2c40116d4b
tree5827404e29e5b8a4be395117006d7c4a1b1308c9
parentd25417f95997d9e502d021d5fdb61ac843947495
Convert para_play to lopsub.

This changes para_play to use the lopsub library rather than gengetopt
for parsing the command line and the config file.

The old approach of permuting argv[] no longer works with lopsub
because direct access to the array of non-option arguments is no
longer possible. Therefore we introduce shuffle_map[], an array of
indices which defaults to 1..n if --randomize is not given, and a
random permutation of 1..n otherwise. The new get_playlist_file()
helper returns the path to the input file determined by permuting
the given index.

The overall description for the manual page has also been improved
slightly.

Since m4/gengetopt/history_file.m4 has become unused, this file can
be removed.
Makefile.real
configure.ac
m4/gengetopt/history_file.m4 [deleted file]
m4/gengetopt/play.m4 [deleted file]
m4/lls/play.suite.m4 [new file with mode: 0644]
play.c