diff options
| -rwxr-xr-x | once/bash.bat | 2 | ||||
| -rwxr-xr-x | once/setup.sh | 10 |
2 files changed, 11 insertions, 1 deletions
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 |