3 Commits

Author	SHA1	Message	Date
René Kijewski	c507632e50	Use argc and argv in shell handlers ... Compare #708. Now the tokenization of an input line is done by the shell itself. You may quote arguments with `"..."`. Empty arguments, supplied by `""` are preserved. Spaces in between arguments are squasheds; spaces inside quotes are preserved. You cannot partially quote an argument. You must not use - `cmd "abc`, - `cmd abc"def"`, or - `cmd "abc"def`.	2014-02-25 17:54:17 +01:00
René Kijewski	2349d0806e	"Exterminate } else {"	2014-02-16 23:29:47 +01:00
Christian Mehlis	d0680e7bac	shell: added a handler for mersenne twister	2014-01-30 11:52:29 +01:00