From d810e4ddaaeba792f2c315394ea6cddb362ffde8 Mon Sep 17 00:00:00 2001 From: Todd Norton Date: Mon, 10 Oct 2022 16:22:05 +0200 Subject: [PATCH] remove commented, apply review suggestion --- tools/install.sh | 33 ++------------------------------- 1 file changed, 2 insertions(+), 31 deletions(-) diff --git a/tools/install.sh b/tools/install.sh index 8028f5a8f..a8f13213b 100644 --- a/tools/install.sh +++ b/tools/install.sh @@ -18,36 +18,6 @@ fi set -u -# # If RUSTUP_UPDATE_ROOT is unset or empty, default it. -# RUSTUP_UPDATE_ROOT="${RUSTUP_UPDATE_ROOT:-https://static.rust-lang.org/rustup}" - -#XXX: If you change anything here, please make the same changes in setup_mode.rs -# usage() { -# cat 1>&2 < Choose a default host triple -# --default-toolchain Choose a default toolchain to install -# --default-toolchain none Do not install any toolchains -# --profile [minimal|default|complete] Choose a profile -# -c, --component ... Component name to also install -# -t, --target ... Target name to also install -# EOF -# } - usage() { cat 1>&2 <> "$HOME/.profile" + echo >> "$HOME/.profile" + echo "export PATH=\"${_dir}:\$PATH\";" >> "$HOME/.profile" printf "[INFO] Updated to the ~/.profile PATH variable.\n\nRun \`source ~/.profile\` to update the current shell PATH.\n" ;; esac