From 310711e0b691d8a234a5a2dd5693117be672d3f7 Mon Sep 17 00:00:00 2001
From: emmett1 <emmett1.2miligrams@gmail.com>
Date: Sun, 11 Mar 2018 17:49:13 +0800
Subject: [PATCH] updated

---
 extra/baseinstall | 11 +++++++++++
 scratch           |  2 +-
 2 files changed, 12 insertions(+), 1 deletion(-)

diff --git a/extra/baseinstall b/extra/baseinstall
index 001ac82..3a84bc9 100755
--- a/extra/baseinstall
+++ b/extra/baseinstall
@@ -104,6 +104,13 @@ adjustingtoolchain() {
 	sleep 5
 }	
 
+if [ -n "$1" -a -n "$2" ]; then
+	case $1 in
+		--init) init=$2 ;;
+		*) ;;
+	esac
+fi
+
 for i in ${PKG[@]}; do
 	if [[ -d "$INDEX_DIR/$i" ]]; then
 		echo "$i is installed"
@@ -152,4 +159,8 @@ for i in ${PKG[@]}; do
 	fi
 done
 
+if [ "$init" ]; then
+	scratch -i -p "$init"
+fi
+
 exit 0
diff --git a/scratch b/scratch
index c589270..e938a35 100755
--- a/scratch
+++ b/scratch
@@ -516,7 +516,7 @@ portinstall() {
 				buildpkg ${OPTS[@]} || exit 1
 			popd
 		else
-			msgerr "Port '$pkg$' not found."
+			msgerr "Port '$pkg' not found."
 		fi
 	done
 }