This file is indexed.

/usr/share/gps/plug-ins/pipe.py is in gnat-gps-common 5.0-13.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
"""Processes a text selection through an external shell command, and
   substitutes it with the output of that command.
   If no text is selected, simply insert he output of the external command.

   This is similar to vi's ! command. For instance, you can use this
   script to run a select chunk of text through the following shell
   commands:
      - "fmt"  => Reformat each paragraph of the selection, using
                  advanced algorithms that try not to break after the first
                  word of a sentence, or before the last. Also try to
                  balance line lengths.
                  See the function fmt_selection() below, which automatically
                  sets a number of parameters when calling this function.

      - "sort" => Sort the selected lines

      - "ls"   => If you have no current selection, this will simply insert
                  the contents of the current directory in the file

      - "date" => Insert the current date in the file
"""


############################################################################
## No user customization below this line
############################################################################

from GPS import *
import os_utils
from gps_utils import *

Preference ("Plugins/pipe/bgcolor").create (
  "Background color", "color", """Background color for the command window where you enter the command to execute""", "yellow")

def pipe (command, buffer=None):
   """Process the current selection in BUFFER through COMMAND,
      and replace that selection with the output of the command"""
   if not buffer:
      buffer = EditorBuffer.get()
   start  = buffer.selection_start()
   end    = buffer.selection_end()

   # Ignore white spaces and newlines at end, to preserve the rest
   # of the text
   if start != end:
     while end.get_char() == ' ' or end.get_char() == '\n':
        end = end - 1

     text = buffer.get_chars (start, end)
   else:
     text = ""

   proc = Process (command)
   proc.send (text)
   proc.send (chr (4))  # Close input
   output = proc.get_result()
   buffer.start_undo_group()

   if start != end:
      buffer.delete (start, end)
   buffer.insert (start, output.rstrip())
   buffer.finish_undo_group()

@interactive (name="Fmt selection")
def fmt_selection ():
  """Process the current selection through the "fmt" command to reformat paragraphs"""
  width  = Preference ("Src-Editor-Highlight-Column").get()
  buffer = EditorBuffer.get()
  prefix = None

  if buffer.file().language() == "ada":
     prefix = "--"

  loc = buffer.selection_start().beginning_of_line()
  while loc.get_char() == ' ':
     loc = loc + 1

  prefix = '-p """' + (' ' * (loc.column() - 1)) + prefix + '"""'
  pipe ("fmt " + prefix + " -w " + `width`, buffer)

class ShellProcess (CommandWindow):
   """Send the current selection to an external process,
      and replace it with the output of that process"""

   def __init__ (self):
      CommandWindow.__init__ (self, global_window = True,
                              prompt = "Shell command:",
                              on_activate = self.on_activate)
      self.set_background (Preference ("Plugins/pipe/bgcolor").get())

   def on_activate (self, shell_command):
      pipe (shell_command)

@interactive (filter="Source editor", menu="/Edit/Selection/Pipe in external program...")
def pipe ():
   """Process the current selection through a shell command,
and replace it with the output of that command."""
   ShellProcess ()

def on_gps_started (hook):
   if os_utils.locate_exec_on_path ("fmt") != "":
      Menu.create ("/Edit/Selection/Refill with fmt",
                   ref = "Refill", add_before=False,
                   on_activate=lambda menu: fmt_selection())

   parse_xml ("""
     <menu action="Pipe" after="Insert File...">
       <title>/Edit/Insert Shell Output...</title>
     </menu>
   """)

Hook ("gps_started").add (on_gps_started)