/gedit-terminal-enhanced

My modification of the original terminal plugin, mostly to make file names clickable (but see README)

Primary LanguagePythonGNU General Public License v2.0GPL-2.0

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')