From 0e5c5d1ee0042aacd5473bcdf14f4a88883cca84 Mon Sep 17 00:00:00 2001 From: Steven A Broderick Elias Date: Thu, 14 Sep 2023 11:45:31 -0400 Subject: [PATCH] Apply suggestions from code review Co-authored-by: Ken Bingham --- docusaurus/docs/learn/quickstarts/network/miniziti.bash | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docusaurus/docs/learn/quickstarts/network/miniziti.bash b/docusaurus/docs/learn/quickstarts/network/miniziti.bash index b4f98045d..0ad7af5f3 100644 --- a/docusaurus/docs/learn/quickstarts/network/miniziti.bash +++ b/docusaurus/docs/learn/quickstarts/network/miniziti.bash @@ -384,7 +384,7 @@ showStatus() { getDefaultProfile() { default_profile="$DEFAULT_PROFILE" if [[ -L "$default_profile" ]]; then - basename "$(readlink -f "$default_profile")" + basename "$(realpath "$default_profile")" else echo "miniziti" fi @@ -397,7 +397,7 @@ setProfile() { logError "Invalid profile: $profile\nValid profiles are:\n$profiles" exit 1 else - ln --no-dereference --symbolic --force "$PROFILES_DIR/$profile" "$DEFAULT_PROFILE" + ln -nsf "$PROFILES_DIR/$profile" "$DEFAULT_PROFILE" logInfo "Set default profile to: '$profile'" fi } @@ -658,7 +658,7 @@ main(){ fi if [[ -L "$DEFAULT_PROFILE" ]]; then - if [[ "$(basename "$(readlink -f "$DEFAULT_PROFILE")")" == "$MINIKUBE_PROFILE" ]]; then + if [[ "$(basename "$(realpath "$DEFAULT_PROFILE")")" == "$MINIKUBE_PROFILE" ]]; then unlink "$DEFAULT_PROFILE" fi fi