Skip to content

Add shell command plugin#132

Merged
multiplex55 merged 1 commit intomasterfrom
codex/introduce-src/plugins/shell.rs
Jul 6, 2025
Merged

Add shell command plugin#132
multiplex55 merged 1 commit intomasterfrom
codex/introduce-src/plugins/shell.rs

Conversation

@multiplex55
Copy link
Copy Markdown
Owner

@multiplex55 multiplex55 commented Jul 6, 2025

Summary

  • introduce ShellPlugin for executing shell commands via sh <command> prefix
  • register the plugin in PluginManager
  • handle shell: actions in launcher
  • document new plugin and security notes in README

Testing

  • cargo test (fails: glib-sys build failed)

@multiplex55 multiplex55 merged commit 56ef0ea into master Jul 6, 2025
@multiplex55 multiplex55 deleted the codex/introduce-src/plugins/shell.rs branch July 6, 2025 18:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant