From 701104339f6c98bc3ce570164ab1e38ea6093d15 Mon Sep 17 00:00:00 2001
From: midipix <writeonce@midipix.org>
Date: May 16 2018 08:45:11 +0000
Subject: installation environment: setup.sh: initial integration.


---

diff --git a/once/bash.bat b/once/bash.bat
index 1a4ee3f..57f5ceb 100755
--- a/once/bash.bat
+++ b/once/bash.bat
@@ -5,7 +5,7 @@ pushd "%~dp0"
 set shell_sysroot=%cd%
 set SYSROOT=@sysroot@
 
-start bin\ntctty.exe --sysroot %shell_sysroot% --exec /bin/mintty -d -h always --window max --exec /bin/bash --init-file /etc/init.sh -i
+start bin\ntctty.exe --sysroot %shell_sysroot% --exec /bin/mintty -d -h always --window max --exec /bin/bash --init-file /setup.sh -i
 
 popd
 
diff --git a/once/setup.sh b/once/setup.sh
new file mode 100755
index 0000000..3d4fe44
--- /dev/null
+++ b/once/setup.sh
@@ -0,0 +1,10 @@
+#!/bin/sh
+
+. /etc/init.sh
+
+echo
+echo ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+echo SYSROOT set to $SYSROOT
+echo to install the @product@ distro sysroot, invoke /install.sh
+echo ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+echo