1 files changed, 8 insertions, 0 deletions

diff --git a/tools/install.sh b/tools/install.sh
index 54bcef1..4d029c4 100644
--- a/tools/install.sh
+++ b/tools/install.sh
@@ -13,4 +13,12 @@ git clone --depth=1 --branch "$BRANCH" "$REMOTE" "$SETTING_DIR" || {
         exit 1
 }
 
+sed "/^# $REPO/, /^$/ d"
+cat <<EOF
+# $REPO
+export SETTING_DIR=$HOME/settings
+source $SETTING_DIR/tools/load-settings.sh
+
+EOF
+
 cd "$SETTING_DIR" && make