bashのホームディレクトリをチルダで置き換える良い方法はありますか？

Question

私はパスを使って作業し、ホームディレクトリをbashのチルダで置き換えようとしていますが、私は必要なだけの外部プログラムでこれをやりたいと考えています。ちょうどbashでそれを行う方法はありますか？私は持っています

${PWD/#$HOME/\~} 

しかし、それは正しくないです。 \w value in the promptを変換する際に、bashのソースはそれをしない方法をHERES、

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

関心の注意点としては：それは変換する必要が

/* 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); 
} 

Answer 1

this unix.stackexchange answerを参照してください：

あなたbashを使っている場合は、dirs組み込みが必要な 振る舞いがあります。

を ​​

おそらく、そこに貼り付けたBash自身のCコードを使用しています。ここ:)

そして、あなたがそれを使用することができます方法は次のとおりです。

dir=...      # <- Use your own here. 
pushd "$dir" > /dev/null # Switch to the given directory; 
          # suppress output. 
dir_with_tilde=$(dirs +0) # Run "dirs" and save to variable. 
popd > /dev/null   # Switch back to where we were 

Answer 2

私のように直接それを行う方法を知りません変数置換の一部が、あなたがコマンドとしてそれを行うことができます：それはむしろ「〜/」と「/ホーム/アリス/」を置き換えます。これはあなたが求めて正確に何をしないこと

[[ "$name" =~ ^"$HOME"(/|$) ]] && name="~${name#$HOME}" 

注意"〜"より。末尾のスラッシュが重要な場所があるため（例：cp -R ~ /backupsがcp -R ~/ /backupsと異なる場合）、これは意図的なものです。

Answer 3

私は、これは昔ながらのbashの文字列置換で行われました:)

> echo $HOME 
/Users/fots 
> mypath="/Users/fots/some/cool/path" 
> echo ${mypath/$HOME/\~} 
~/some/cool/path