Re: gnulib-tool nits

[Bruno Haible]

Hello Ralf,

> This still needs to be addressed.

Yes. Your findings and my and Eric's comments [1][2][3] are giving enough
hints how a portable and efficient solution can look like, I think?

  pathx="$PATH"
  case ":$PATH:" in
    *::*)
      pathx=`echo ":$PATH:" | sed -e 's/:::*/:.:/g' -e 's/^://' -e 's/:\$//'`
      ;;
  esac

Bruno

[1] http://lists.gnu.org/archive/html/bug-gnulib/2007-06/msg00202.html
[2] http://lists.gnu.org/archive/html/bug-gnulib/2007-06/msg00204.html
[3] http://lists.gnu.org/archive/html/bug-gnulib/2007-06/msg00207.html