Attempt to prevent double init file execution when terminal opens

2026-08-12 12:30:56 +00:00 · 2023-05-11 09:53:54 +00:00
parent 2c9d26f65f
commit d3485e9f6d
3 changed files with 21 additions and 16 deletions
@@ -20,6 +20,8 @@ public interface ShellDialect {

    String fileArgument(String s);

+    String executeWithNoInitFiles(ShellDialect parentDialect, String file);
+
    void prepareDumbTerminalCommands(ShellControl sc) throws Exception;

    String prepareProperTerminalCommands();