diff options
Diffstat (limited to 'orch_shell')
-rwxr-xr-x | orch_shell | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/orch_shell b/orch_shell new file mode 100755 index 0000000..94e1607 --- /dev/null +++ b/orch_shell @@ -0,0 +1,10 @@ +#!/bin/sh + +cat << EOF > /tmp/start_orch_shell.py +import imp, ciatlib +configure = imp.load_source('configure', '../source/configure.py') +configure.configure() +EOF + +cd orchenv-master +./bin/python -i /tmp/start_orch_shell.py |