diff options
author | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-03-13 04:05:49 (EDT) |
---|---|---|
committer | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-03-13 04:05:49 (EDT) |
commit | a68d7325c44b881582cbd5ffe9dcf6623b0fd4f3 (patch) | |
tree | d33346f88db8a528cd2c55c67d65923adab2ecc3 | |
parent | 8f5364e44b3779a8da58693d6d0cef7563cf0e7d (diff) |
ob_substvars(): s/while true/while :/
-rw-r--r-- | lib/control.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/control.sh b/lib/control.sh index f8bad2c..17c1ca8 100644 --- a/lib/control.sh +++ b/lib/control.sh @@ -233,7 +233,7 @@ ob_substvars() depth=0 - while true; do + while :; do lhs="${string%%\$\{*}" if [ ${#lhs} -eq ${#string} ]; then # No "${" was found. |