나는 디렉토리가 이름 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
추신 : 내가 가지고 있다면 [ -d "$HOME"/miniconda2 ]; then
miniconda2 디렉토리를 찾아서 오류가 부분에 있다고 생각합니다."(ana|mini)conda[0-9]?"
스크립트가 일반적이기를 원합니다. 나에게는 miniconda2이지만 다른 사용자에게는 anaconda2, miniconda3 등일 수 있습니다.