From 15060f8ee1bbbfc1701b1a6eaf97b8715823f1f7 Mon Sep 17 00:00:00 2001
From: typebrook <typebrook@gmail.com>
Date: Mon, 2 Mar 2020 21:48:14 +0800
Subject: update

---
 tools/install.sh | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'tools')

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
-- 
cgit v1.2.3-70-g09d2