Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Shell feature #44

Merged
merged 50 commits into from
Jul 1, 2023
Merged

Shell feature #44

merged 50 commits into from
Jul 1, 2023

Conversation

garraflavatra
Copy link
Owner

Resolves #37: adds a shell tab where the user can write mongo shell scripts and execute them.

@garraflavatra garraflavatra self-assigned this Jun 24, 2023
@garraflavatra garraflavatra linked an issue Jun 24, 2023 that may be closed by this pull request
@garraflavatra garraflavatra added the enhancement New feature or request label Jun 24, 2023
@garraflavatra garraflavatra added this to the v0.3.0 milestone Jun 24, 2023
@garraflavatra garraflavatra marked this pull request as ready for review June 27, 2023 15:22
Squashed commit of the following:

commit 93b2d67
Author: Romein van Buren <[email protected]>
Date:   Sat Jul 1 20:07:33 2023 +0200

    Add filter functionality

commit 30b65a1
Author: Romein van Buren <[email protected]>
Date:   Sat Jul 1 19:27:20 2023 +0200

    Renamed `form-row` class to `formrow`

commit 21afb01
Author: Romein van Buren <[email protected]>
Date:   Sat Jul 1 19:26:04 2023 +0200

    Hide object types in object grid

commit 037d543
Author: Romein van Buren <[email protected]>
Date:   Sat Jul 1 19:21:54 2023 +0200

    Make auto reload interval input smaller

commit 49d5022
Author: Romein van Buren <[email protected]>
Date:   Sat Jul 1 15:08:00 2023 +0200

    Implement logs autoreload

commit 1f89847
Author: Romein van Buren <[email protected]>
Date:   Sat Jul 1 15:04:00 2023 +0200

    Return on error

commit 9c85259
Author: Romein van Buren <[email protected]>
Date:   Sat Jul 1 15:03:37 2023 +0200

    Add log error handling

commit 7a98a63
Author: Romein van Buren <[email protected]>
Date:   Sat Jul 1 14:46:39 2023 +0200

    Update log tab icon

commit f30827a
Author: Romein van Buren <[email protected]>
Date:   Sat Jul 1 14:41:59 2023 +0200

    Add host log panel
This adds a 'Log' view to the host panel using the [`getLog`
command](https://www.mongodb.com/docs/manual/reference/command/getLog/).

Fixes #53.
@garraflavatra garraflavatra merged commit 6114284 into main Jul 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Support for raw/shell queries
1 participant