diff options
-rwxr-xr-x | bollux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bollux b/bollux index ae1f272..3e7d6d1 100755 --- a/bollux +++ b/bollux | |||
@@ -9,8 +9,6 @@ PRGN="${0##*/}" | |||
9 | VRSN=0.2 | 9 | VRSN=0.2 |
10 | # State | 10 | # State |
11 | REDIRECTS=0 | 11 | REDIRECTS=0 |
12 | # Bash options | ||
13 | # shopt -s extglob | ||
14 | 12 | ||
15 | bollux_usage() { | 13 | bollux_usage() { |
16 | cat <<END | 14 | cat <<END |
@@ -418,9 +416,11 @@ mklesskey() { | |||
418 | } | 416 | } |
419 | 417 | ||
420 | normalize_crlf() { | 418 | normalize_crlf() { |
419 | shopt -s extglob | ||
421 | while IFS= read -r; do | 420 | while IFS= read -r; do |
422 | printf '%s\n' "${REPLY//$'\r'?($'\n')/}" | 421 | printf '%s\n' "${REPLY//$'\r'?($'\n')/}" |
423 | done | 422 | done |
423 | shopt -u extglob | ||
424 | } | 424 | } |
425 | 425 | ||
426 | typeset_gemini() { | 426 | typeset_gemini() { |