Allow tools to work on .JS or .Js files (not just .js)

gfwilliams · gfwilliams · commit fe9d7be27c15 · 2025-10-24T16:37:32.000+01:00
diff --git a/bin/espruino-cli.js b/bin/espruino-cli.js
@@ -87,7 +87,7 @@ var isNextValidHEX = function(next) {
  return isNextValidFileType(next, ".hex");
 }
 var isNextValidJS = function(next) {
- return next && !isNextValidJSON(next) && next.indexOf(".js") >= 0;
+ return next && !isNextValidJSON(next) && next.toLowerCase().indexOf(".js") >= 0;
 }
 var isNextValid = function(next) {
  return next && next[0]!=='-';

Original file line number	Diff line number	Diff line change
`@@ -87,7 +87,7 @@ var isNextValidHEX = function(next) {`
`87`	`87`	`return isNextValidFileType(next, ".hex");`
`88`	`88`	`}`
`89`	`89`	`var isNextValidJS = function(next) {`
`90`		`- return next && !isNextValidJSON(next) && next.indexOf(".js") >= 0;`
	`90`	`+ return next && !isNextValidJSON(next) && next.toLowerCase().indexOf(".js") >= 0;`
`91`	`91`	`}`
`92`	`92`	`var isNextValid = function(next) {`
`93`	`93`	`return next && next[0]!=='-';`