Differences between revisions 5 and 15 (spanning 10 versions)
Revision 5 as of 2008-07-04 08:55:23
Size: 871
Editor: pgas
Comment: remove the loop add a solution with read and here strings
Revision 15 as of 2011-02-04 19:17:46
Size: 2285
Editor: GreyCat
Comment: math context for trimming leading zeroes, etc.
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
[[Anchor(faq67)]] <<Anchor(faq67)>>
Line 3: Line 3:
There are a few ways to do this -- none of them elegant. There are a few ways to do this. Some involve special tricks that only work with whitespace. Others are more general, and can be used to strip leading zeroes, etc.
Line 5: Line 5:
First, the most portable way would be to use `sed`:
Here's one that only works for whitespace. It relies on the fact that `read` strips all leading and trailing whitespace when `IFS` isn't set:
Line 8: Line 7:
   # POSIX
   x=$(echo "$x" | sed -e 's/^[[:space:]]*//' -e 's/[[:space:]]*$//')
   # POSIX, but fails if the variable contains newlines
   read -r var << EOF
   $var
   EOF
Line 12: Line 13:
One can also achieve the same goal using Bash builtins:
Bash can do something similar with a "here string":
Line 16: Line 16:
   # Remove leading whitespace:
read -r x <<< "$x"
   read  -rd '' x <<< "$x"
Line 19: Line 18:
Using an empty string as a delimiter means the read consumes the whole string, as NUL is used. (Remember: BASH only does C-string variables.) This is entirely safe for any text, including newlines.
Line 20: Line 20:
There's also a solution using [:glob:extglob]:
Here's a solution using [[glob|extglob]] together with [[BashFAQ/073|parameter expansion]]:
Line 30: Line 29:
Line 36: Line 34:
There are many, many other ways to do this. These are not necessarily the best, but they're known to work. This solution isn't restricted to whitespace like the first few were. You can remove leading zeroes as well:
{{{
   # Bash
   shopt -s extglob
   x=${x##+(0)}
}}}

Another way to remove leading zeroes from a number in bash is to treat it as an integer, in a [[ArithmeticExpression|math context]]:
{{{
   # Bash
   x=$((10#$x))
   # However, this fails if x contains anything other than digits.
}}}

If you need to remove leading zeroes in a POSIX shell, you can use a loop:
{{{
   # POSIX
   while true; do
     case "$var" in
       0*) var=${var#0};;
       *) break;;
     esac
   done
}}}

Or this trick (covered in more detail in [[BashFAQ/100|FAQ #100]]):
{{{
   # POSIX
   zeroes=${var%%[!0]*}
   var=${var#$zeroes}
}}}

There are many, many other ways to do this, using sed for instance:
{{{
   # POSIX, suppress the trailing and leading whitespace on every line
   x=$(echo "$x" | sed -e 's/^[[:space:]]*//' -e 's/[[:space:]]*$//')
}}}
Solutions based on external programs like sed are better suited to trimming large files, rather than shell variables.

How can I trim leading/trailing white space from one of my variables?

There are a few ways to do this. Some involve special tricks that only work with whitespace. Others are more general, and can be used to strip leading zeroes, etc.

Here's one that only works for whitespace. It relies on the fact that read strips all leading and trailing whitespace when IFS isn't set:

   # POSIX, but fails if the variable contains newlines
   read -r var << EOF
   $var
   EOF

Bash can do something similar with a "here string":

   # Bash
   read  -rd '' x <<< "$x"

Using an empty string as a delimiter means the read consumes the whole string, as NUL is used. (Remember: BASH only does C-string variables.) This is entirely safe for any text, including newlines.

Here's a solution using extglob together with parameter expansion:

   # Bash
   shopt -s extglob
   x=${x##+([[:space:]])} x=${x%%+([[:space:]])}
   shopt -u extglob

This also works in KornShell, without needing the explicit extglob setting:

   # ksh
   x=${x##+([[:space:]])} x=${x%%+([[:space:]])}

This solution isn't restricted to whitespace like the first few were. You can remove leading zeroes as well:

   # Bash
   shopt -s extglob
   x=${x##+(0)}

Another way to remove leading zeroes from a number in bash is to treat it as an integer, in a math context:

   # Bash
   x=$((10#$x))
   # However, this fails if x contains anything other than digits.

If you need to remove leading zeroes in a POSIX shell, you can use a loop:

   # POSIX
   while true; do
     case "$var" in
       0*) var=${var#0};;
       *)  break;;
     esac
   done

Or this trick (covered in more detail in FAQ #100):

   # POSIX
   zeroes=${var%%[!0]*}
   var=${var#$zeroes}

There are many, many other ways to do this, using sed for instance:

   # POSIX, suppress the trailing and leading whitespace on every line
   x=$(echo "$x" | sed -e 's/^[[:space:]]*//' -e 's/[[:space:]]*$//')

Solutions based on external programs like sed are better suited to trimming large files, rather than shell variables.

BashFAQ/067 (last edited 2018-11-29 15:32:42 by GreyCat)