Updated doc for new Terminal filesystem. Fixed some minor issues with new Location UI

2026-05-02 13:57:05 +02:00 · 2019-04-09 23:34:23 -07:00
parent 3ce2e83dd8
commit c56645c794
5 changed files with 21 additions and 11 deletions
@@ -1163,6 +1163,11 @@ let Terminal = {
                    const source = commandArray[1];
                    const dest = commandArray[2];

+                    if (!isScriptFilename(source) && !source.endsWith(".txt")) {
+                        postError(`'mv' can only be used on scripts and text files (.txt)`);
+                        return;
+                    }
+
                    const srcFile = Terminal.getFile(source);
                    if (srcFile == null) {
                        postError(`Source file ${source} does not exist`);
@@ -1218,9 +1223,6 @@ let Terminal = {
                        }

                        srcFile.fn = destPath;
-                    } else {
-                        postError(`'mv' can only be used on scripts, literature files (.lit), and text files (.txt)`);
-                        return;
                    }
                } catch(e) {
                    Terminal.postThrownError(e);