gedit-terminal-enhanced

Slightly modified version of the original terminal plugin. Modifications include:

• Ctrl + Click to open grep results and other files (separated by space/colon, line numbers supported)
• Ctrl + Shift + F to paste currently edited file
• Ctrl + Shift + D to change current directory to the one containing currently edited file (via cd)
• Mouse wheel scrolls 3 lines at a time instead of only one.
• Ctrl + Backspace works like Ctrl + W

Notes

• File names are read as relative to current working directory of the terminal process, so when it changes, previous names won't work.
• It currently uses linux-specific /proc/PID/cwd to get the cwd of the terminal process.

Installation

• Make sure the original terminal plugin is available (it's in the gedit-plugins package)
• Copy project folder to ~/.local/share/gedit/plugins
• Enable this plugin (you didn't see it coming, did you?)
• Uninstall Enjoy :)

Message API

The /plugins/terminalenhanced/feed-string(str) method allows other plugins to feed a string into the terminal. This also activates the proper tab and sets the focus to the terminal widget. Use it like this:

# bus is a Gedit.MessageBus object
bus.send('/plugins/terminalenhanced', 'feed-string', str='grep -rn example\n')