Singular/Sources — pull request #207 by kovzol (2012-11-08 12:31:46+00:00)
Title: Adding new command line option --no-shell to prevent running escape shel...

http://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=2191