ディレクトリに名前が付けられているanaconda
かminiconda
、ユーザーにあるかを確認するために、小さなbashスクリプトを作成しました$HOME
。しかしminiconda2
、自宅のディレクトリは見つかりません。
どうすれば修正できますか?
if [ -d "$HOME"/"(ana|mini)conda[0-9]?" ]; then
echo "miniconda directory is found in your $HOME"
else
echo "anaconda/miniconda is not found in your $HOME"
fi
PS:私が持っている場合[ -d "$HOME"/miniconda2 ]; then
、それはminiconda2ディレクトリを見つけるので、エラーは部分にあると思います"(ana|mini)conda[0-9]?"
スクリプトを一般的にしたいです。私にとっては、miniconda2ですが、他のユーザーにとっては、anaconda2、miniconda3などになる可能性があります。