Add --no-exc-wrap to krun
* Add --no-exc-wrap to krun
* Rename variable
to match bash style
* Use cat instead of tee
* Update k-distribution/src/main/scripts/bin/krun
@@ -70,13 +70,15 @@ execute () {
KX=$(basename "$0")
+fold_lines="fold -s"
+
error () {
- printf "[Error] Critical: $@\n" | fold -s 1>&2
+ printf "[Error] Critical: $@\n" | $fold_lines 1>&2
exit $result
}
warning () {
- printf "[Warning] Compiler: $@\n" | fold -s 1>&2
+ printf "[Warning] Compiler: $@\n" | $fold_lines 1>&2
}
print_usage () {
@@ -118,6 +120,8 @@ present; see below).
stdin/stdout via cells with "stream" attribute.
Defaults to enabled when performing concrete
execution, and disabled when --search is passed.
+ --no-exc-wrap Do not wrap exception messages to 80 chars. Keep
+ long lines.
--no-expand-macros Don't expand macros in initial configuration.
This assumes that the initial configuration contains
no macro terms. Behavior is undefined if this is not
@@ -253,6 +257,10 @@ do
shift
;;
+ --no-exc-wrap)
+ fold_lines="cat -"
+ ;;
+
--no-expand-macros)
expandMacros=false
;;
