diff options
Diffstat (limited to 'pkgs/stdenv')
-rw-r--r-- | pkgs/stdenv/generic/setup.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/stdenv/generic/setup.sh b/pkgs/stdenv/generic/setup.sh index 660ae0c1490cb..a06b72058269a 100644 --- a/pkgs/stdenv/generic/setup.sh +++ b/pkgs/stdenv/generic/setup.sh @@ -394,12 +394,12 @@ nestingLevel=0 startNest() { nestingLevel=$(($nestingLevel + 1)) - echo -en "\e[$1p" + echo -en "\033[$1p" } stopNest() { nestingLevel=$(($nestingLevel - 1)) - echo -en "\e[q" + echo -en "\033[q" } header() { |