[gedit] Set default tool script to #!/bin/sh

[Jesse van den Kieboom <jessevdk src gnome org>]

commit 25dc29c9450649be1c084d1dc843b7aab30c9b0a
Author: Jesse van den Kieboom <jesse icecrew nl>
Date:   Thu May 21 22:15:30 2009 +0200

    Set default tool script to #!/bin/sh
---
 plugins/externaltools/tools/library.py |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/plugins/externaltools/tools/library.py b/plugins/externaltools/tools/library.py
index c00aba1..977dd51 100644
--- a/plugins/externaltools/tools/library.py
+++ b/plugins/externaltools/tools/library.py
@@ -317,11 +317,11 @@ class Tool(object):
     # expensive to perform
     def get_script(self):
         if self.filename is None:
-            return []
+            return ["#!/bin/sh\n"]
 
         filename = self.library.get_full_path(self.get_path())
         if filename is None:
-            return []
+            return ["#!/bin/sh\n"]
 
         fp = open(filename, 'r', 1)
         lines = list()