パスワードを忘れた? アカウント作成
この議論は賞味期限が切れたので、アーカイブ化されています。 新たにコメントを付けることはできません。

My .bashrc (の一部)」記事へのコメント

  • by Anonymous Coward

    if [[ `echo $PWD | grep "^$HOME/"` ]]; then

    if [ -z "${PWD/$HOME*/}" ]; then

    と書いた方が軽いかも.

    • ${変数名#パターン} や ${変数名/置換前/置換後/} などで変数の展開時に部分削除や置換が出来るのは知りませんでした。ご教示いただきありがとうございます。

      ただ、ご提示いただいた修正では誤りで、 if [[ -n ${PWD#$HOME} ]]; then が適切なようでしたので、こちらで修正しました。

      • 部分を削除/置換する機能はbashだけではなくてkshでもあったはず。bshはどうだったか忘れた。
        そもそもそこまで細かいことはその都度調べれば足りるので暗記する気なし。
        あと、echoその他もコマンド呼び出しとのトレードオフとか細かい話は昔からいろいろあるわけで。

アレゲはアレゲを呼ぶ -- ある傍観者

処理中...