パスを操作し、ホーム ディレクトリを bash のチルダに置き換えようとしていますが、必要な外部プログラムをできるだけ少なくすることを望んでいます。bashだけでそれを行う方法はありますか?私は得た
${PWD/#$HOME/\~}
しかし、それは正しくありません。変換する必要があります:
/home/alice to ~
/home/alice/ to ~/
/home/alice/herp to ~/herp
/home/alicederp to /home/alicederp
興味深い点として、プロンプトで \w 値を変換するときに 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] = '\0';
return (tdir);
}
else
return (name);
}