diff --git a/.devcontainer/github-clone.sh b/.devcontainer/github-clone.sh index 79c5beec2..a4ff28c09 100755 --- a/.devcontainer/github-clone.sh +++ b/.devcontainer/github-clone.sh @@ -26,7 +26,7 @@ if [ -d "$target_dir" ]; then exit 1 fi -if ls id_* &>/dev/null; then +if ls $HOME/.ssh/id_* &>/dev/null; then if git clone git@github.com:$1.git "$target_dir"; then echo "Cloning with SSH URL successful." else @@ -35,4 +35,4 @@ if ls id_* &>/dev/null; then fi else git clone https://github.com/$1.git "$target_dir" -fi \ No newline at end of file +fi