diff --git a/tools/sot-shell-plugin.sh.cmake b/tools/sot-shell-plugin.sh.cmake index 73ae865c4d2387a90f7bfc997680b986f6071a0b..6cb924858d52cdfed3f34db6607fdffaf28227ad 100644 --- a/tools/sot-shell-plugin.sh.cmake +++ b/tools/sot-shell-plugin.sh.cmake @@ -1,5 +1,6 @@ #! /bin/sh +tmp=`mktemp` echo "-- Launching dynamic-graph C shell with default plugins" -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/sot-shell /tmp/default_script +echo "loadPlugin ${CMAKE_INSTALL_PREFIX}/lib/plugin/shell-functions.so" > $tmp +echo "loadPlugin ${CMAKE_INSTALL_PREFIX}/lib/plugin/shell-procedure.so" >> $tmp +${CMAKE_INSTALL_PREFIX}/bin/sot-shell $tmp