4 Commits

Author	SHA1	Message	Date
Romein van Buren	773bcf65fd	Add option to save shell output	2023-12-22 15:56:00 +01:00
Romein van Buren	9d577ac429	Added functionality to save and import shell scripts (#37)	2023-07-19 20:01:15 +02:00
Romein van Buren	7a5354c5f4	Report stderr in shell (#37)	2023-07-02 10:10:45 +02:00
Romein van Buren	61142844fa	Shell feature (#44) ... Resolves #37: adds a shell tab where the user can write mongo shell scripts and execute them.	2023-07-01 21:34:32 +02:00