Re: [gedit-list] gedit question
- From: Doug McNutt <douglist macnauchtan com>
- To: "gedit-list gnome org" <gedit-list gnome org>
- Subject: Re: [gedit-list] gedit question
- Date: Sun, 5 May 2013 16:30:54 -0600
At 16:12 -0004 5/5/13, Adam Dingle wrote:
On Tue, Apr 2, 2013 at 5:32 PM, JAIN, ABHAY K <aj2474 att com> wrote:
Is it possible to escape to shell from gedit?
I'd suggest you try the Embedded Terminal plugin:
<https://help.gnome.org/users/gedit/stable/gedit-plugins-terminal.html.en>https://help.gnome.org/users/gedit/stable/gedit-plugins-terminal.html.en
It's not included in the base gedit distribution, but is part of the gedit-plugins collection. Your
distribution probably makes this available via a package named "gedit-plugins" or something similar.
There is also the External Tools plugin which allows you to create shell scripts that can be executed by
selection with the mouse or by assigning keyboard keys to them.
--
--> From the U S of A, the only socialist country that refuses to admit it. <--
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]