diff --git a/tools/shell.sh.cmake b/tools/shell.sh.cmake index b70a95e66046e4248bbb6985307f23053ec506e3..a01b0d6ac20197d1e0e3e2ea3a65e3ee037c0621 100644 --- a/tools/shell.sh.cmake +++ b/tools/shell.sh.cmake @@ -1,4 +1,5 @@ +#! /bin/sh echo "-- Launching dynamic-graph C shell with default plugins" -echo "loadPlugin ${CMAKE_INSTALL_PREFIX}/lib/plugin/shell-functions.so" > ./default_script -echo "loadPlugin ${CMAKE_INSTALL_PREFIX}/lib/plugin/shell-procedure.so" >> ./default_script -${CMAKE_INSTALL_PREFIX}/bin/${PROJECT_NAME}/test_shell default_script \ No newline at end of file +echo "loadPlugin ${CMAKE_INSTALL_PREFIX}/lib/plugin/shell-functions.so" > /tmp/default_script +echo "loadPlugin ${CMAKE_INSTALL_PREFIX}/lib/plugin/shell-procedure.so" >> /tmp/default_script +${CMAKE_INSTALL_PREFIX}/bin/${PROJECT_NAME}/test_shell /tmp/default_script