正则表达式 – 是否有一个很好的方法来替换bash中的波形符号的主

${PWD/#$HOME/~}

但那不是很正确.它需要转换：

/home/alice to ~
/home/alice/ to ~/
/home/alice/herp to ~/herp
/home/alicederp to /home/alicederp

作为一个感兴趣的注意事项,在转换w value in the prompt时,应该怎么做bash源呢？

/* Return a pretty pathname.  If the first part of the pathname is
   the same as $HOME,then replace that with `~'.  */
char *
polite_directory_format (name)
     char *name;
{
  char *home;
  int l;

  home = get_string_value ("HOME");
  l = home ? strlen (home) : 0;
  if (l > 1 && strncmp (home,name,l) == 0 && (!name[l] || name[l] == '/'))
    {
      strncpy (tdir + 1,name + l,sizeof(tdir) - 2);
      tdir[0] = '~';
      tdir[sizeof(tdir) - 1] = '';
      return (tdir);
    }
  else
    return (name);
}