setup, bin/: Some scripts which are useful in Cygwin.

[profile] / bin / run-with-shell-env

diff --git a/bin/run-with-shell-env b/bin/run-with-shell-env
new file mode 100644 (file)
index 0000000..ba0afcf
--- /dev/null
+++ b/bin/run-with-shell-env
@@ -0,0 +1,13 @@
+#! /bin/bash -x
+exec >/tmp/mdw/hacky.log 2>&1
+case ${__mdw_profile+t} in
+  t) ;;
+  *)
+    __mdw_force_secure_session=yes
+    export SHELL=/bin/bash USER=$(/bin/id -un)
+    set +x
+    . $HOME/.bash_profile
+    set -x
+    ;;
+esac
+exec "$@"