Orazio c8a9e2100a Changed how undocumented flags are managed ... - Renamed '--i_do_not_follow_recommendations' to '--skip-space-check', since the argument actually skips the space check. - Obtain the unattended configuration dynamically, by looking at the argument next to '--unattended', instead of looking at the second argument, which was a too fragile parsing. - Because of the previous one, figuring out when no argument has been passed to '--unattended' doesn't seem trivial, because the next argument could be an undocumented flag as well, which would be intepreted as a filename.		2020-05-28 15:16:45 +02:00
..
install.sh	Changed how undocumented flags are managed	2020-05-28 15:16:45 +02:00