3 Commits

Author	SHA1	Message	Date
Vladimir Zhelezov	ac143aff6b	Do not use set -e in helper shell scripts ... It is not a substitute for proper error checking, it can easily cause more trouble than good and it would be a burden for contributors and a source for potential misbehavior. See this take on the topic for example: http://mywiki.wooledge.org/BashFAQ/105	2021-02-28 08:33:18 +01:00
Vladimir Zhelezov	9e90d25cce	Add basic editor configuration to shell scripts	2021-02-28 08:33:18 +01:00
Vladimir Zhelezov	5c2dd6fa2f	Move back commands/options parsing to separate shell scripts ... It made the Makefile more difficult to read and this way we can take advantage of `set -e`, `-o pipefail` and friends. Clean up debugging targets	2021-02-28 08:33:18 +01:00