diff --git a/exec/editfile.js b/exec/editfile.js
new file mode 100644
index 0000000000000000000000000000000000000000..be6d74c1b73183cdd06345b382c8ee5e7e288291
--- /dev/null
+++ b/exec/editfile.js
@@ -0,0 +1,4 @@
+// $Id$
+
+if(argv[0])
+	console.editfile(argv[0]);
\ No newline at end of file