GitHub - holtzhau/gedit-run-terminal: Run plugin for gedit that combines external tools with an embedded gnome-terminal.

holtzhau / gedit-run-terminal Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

Run plugin for gedit that combines external tools with an embedded gnome-terminal.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
runterminal		runterminal
README		README
runterminal.gedit-plugin		runterminal.gedit-plugin

Repository files navigation

GEdit Run Terminal
==================

A plugin for GEdit that combines the functionality of the external tools plugin with an embedded gnome-terminal.
The result is a terminal that executes commands at your will, e.g. single keystroke python execution.

Features:
---------
-Click on numbered errors to go to position in file. (also for commands such as "rgrep -in test .")
-Right click on the terminal for more options, including experimental right panel support.