Changeset 28

Timestamp:

10/02/02 18:16:19 (20 years ago)

Author:

piso

Message:

shellCommand()

File:

• trunk/j/src/org/armedbear/j/ShellCommand.java (modified) (2 diffs)

trunk/j/src/org/armedbear/j/ShellCommand.java

@@ -3 +3 @@
  *
  * Copyright (C) 2000-2002 Peter Graves
- * $Id: ShellCommand.java,v 1.1.1.1 2002-09-24 16:08:40 piso Exp $
+ * $Id: ShellCommand.java,v 1.2 2002-10-02 18:16:19 piso Exp $
  *
  * This program is free software; you can redistribute it and/or
@@ -140 +140 @@
         }
     }
+
+    public static void shellCommand()
+    {
+        if (Platform.isPlatformWindows() && !Platform.isPlatformWindows5())
+            return;
+        final Editor editor = Editor.currentEditor();
+        InputDialog d = new InputDialog(editor, "Command:", "Shell Command", null);
+        d.setHistory(new History("shellCommand.command"));
+        editor.centerDialog(d);
+        d.show();
+        String command = d.getInput();
+        if (command == null)
+            return;
+        command = command.trim();
+        if (command.length() == 0)
+            return;
+        shellCommand(editor, command);
+    }
+
+    public static void shellCommand(String command)
+    {
+        if (Platform.isPlatformWindows() && !Platform.isPlatformWindows5())
+            return;
+        shellCommand(Editor.currentEditor(), command);
+    }
+
+    private static void shellCommand(Editor editor, String command)
+    {
+        final File dir = editor.getCurrentDirectory();
+        if (dir == null || !dir.isDirectory())
+            return;
+        String cmdline = "(\\cd " + dir.canonicalPath() + " && " + command + ")";
+        ShellCommand shellCommand = new ShellCommand(cmdline);
+        shellCommand.run();
+        String output = shellCommand.getOutput();
+        if (output != null && output.length() > 0) {
+            OutputBuffer buf = OutputBuffer.getOutputBuffer(output);
+            if (buf != null) {
+                buf.setTitle(command);
+                editor.makeNext(buf);
+                editor.activateInOtherWindow(buf);
+            }
+        }
+    }
 }