tweak

neoedmund · Mar 1, 2023 · 82a274b · 82a274b
1 parent 7cd7cd7
commit 82a274b
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 5 deletions.
diff --git a/dist/neoeedit.jar b/dist/neoeedit.jar
diff --git a/src/neoe/ne/U.java b/src/neoe/ne/U.java
@@ -780,10 +780,19 @@ public static void exec ( PlainPage pp , String cmd ) throws Exception {
 			String path = cmd . substring ( 1 , p1 ) . trim ( ) ;
 			dir = new File ( path ) ;
 			cmd = cmd . substring ( p1 + 1 ) . trim ( ) ;
-		} else if ( pp . workPath != null )
-		dir = new File ( pp . workPath ) ;
-		else
-		dir = new File ( "." ) ;
+		} else {
+			int p2 = cmd . indexOf ( ']' ) ; // "path] cmd" 
+			if ( p2 > 0 ) {
+				String path = cmd . substring ( 0 , p2 ) . trim ( ) ;
+				dir = new File ( path ) ;
+				cmd = cmd . substring ( p2 + 1 ) . trim ( ) ;
+			} else {
+				if ( pp . workPath != null )
+				dir = new File ( pp . workPath ) ;
+				else
+				dir = new File ( "." ) ;
+			}
+		}
 		addCmdHistory ( cmd , dir . getAbsolutePath ( ) ) ;
 		Process proc = Runtime . getRuntime ( ) . exec ( splitCommand ( cmd ) , getEnv ( pp ) , dir ) ;
 		OutputStream out = null ; // proc . getOutputStream ( ) ;

diff --git a/src/neoe/ne/Version.java b/src/neoe/ne/Version.java
@@ -1,6 +1,6 @@
 package neoe . ne ;
 
 public class Version {
-	public static final String REV = "v383rc5" . toString ( ) ; // β
+	public static final String REV = "v383" . toString ( ) ; // β
 	public static final String CONFIG_FN = "/data.py.ver42" . toString ( ) ;
 }