Florent Rougon 305a501ef3 download_and_compile.sh: use getopt instead of bash's getopts. Add --help.
The main advantage of getopt is that it allows one to define long
options. Help can now be obtained with 'download_and_compile.sh --help',
in addition to the already-existing '-h' option.

[ This is the getopt tool shipped in Debian's util-linux package,
  which is marked as Essential, therefore should always be present
  on a Debian system. ]

Try to improve formatting of the --help message, so that it is better
suited to document options that have a short as well as a long form.
Make the presentation of this help message a bit more standard.
2018-09-26 00:17:29 +02:00
2018-07-25 13:42:13 +01:00
2017-01-12 10:44:40 +01:00
2016-12-09 14:56:33 +00:00
2018-03-16 10:29:57 +00:00
2015-02-24 11:44:05 +00:00
2018-09-21 17:22:27 +02:00
2014-09-07 23:39:40 +02:00
Description
No description provided
6.7 MiB
Languages
Python 55.2%
Shell 30.7%
Batchfile 5.9%
Inno Setup 4.3%
Ruby 2.2%
Other 1.7%