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

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

  • by Anonymous Coward

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

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

    と書いた方が軽いかも.

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

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

      • by Anonymous Coward

        if [[ -n ${PWD#$HOME} ]]; then

        これだと /var とか /tmp 以下も処理対象になりませんか?

        対象を $HOME 以下、かつ $HOME は除外したい、ということなら

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

        ですかね

        • by EarOwl (24188) on 2014年03月07日 23時33分 (#2558642) 日記

          その通りですね…というか自分が大きな勘違いをしていたことに今頃になって気付きました orz
          ご提示いただいた方法はもちろん正解ですし、 #2558413 の方法も正解でした。
          間違った答えを自信満々に言ってしまい、恥ずかしい…

          親コメント

日々是ハック也 -- あるハードコアバイナリアン

処理中...