diff --git a/tools/dg-shell-plugin.cmake b/tools/dg-shell-plugin.cmake
index 5a680046db9175682828f7ae9f099841b94f6807..ae800e35515686e62d531465644a0a8321e6ccf5 100644
--- a/tools/dg-shell-plugin.cmake
+++ b/tools/dg-shell-plugin.cmake
@@ -3,4 +3,4 @@ tmp=`mktemp`
 echo "-- Launching dynamic-graph C shell with default plugins"
 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/dg-shell $tmp
+${CMAKE_INSTALL_PREFIX}/bin/dg-shell -i $tmp $@