File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -180,7 +180,7 @@ const Tex = exports.Tex = {
180180 const file = readdirSync ( dir ) . find ( ( name ) => name . endsWith ( 'Configuration.js' ) ) ;
181181 promises . push ( Util . import ( `${ dir } /${ file } ` ) ) ;
182182 } else {
183- Uti . error ( `Unknown TeX package: ${ name } ` ) ;
183+ Util . error ( `Unknown TeX package: ${ name } ` ) ;
184184 }
185185 }
186186 //
Original file line number Diff line number Diff line change @@ -176,7 +176,7 @@ export const Tex = {
176176 const file = readdirSync ( dir ) . find ( ( name ) => name . endsWith ( 'Configuration.js' ) ) ;
177177 promises . push ( Util . import ( `${ dir } /${ file } ` ) ) ;
178178 } else {
179- Uti . error ( `Unknown TeX package: ${ name } ` ) ;
179+ Util . error ( `Unknown TeX package: ${ name } ` ) ;
180180 }
181181 }
182182 //
Original file line number Diff line number Diff line change @@ -415,6 +415,9 @@ export const Util = {
415415 * Import a file with error reporting.
416416 */
417417 import ( name ) {
418+ if ( name . match ( / ^ [ a - z ] : [ / \\ ] / ) ) {
419+ name = 'file://' + name ;
420+ }
418421 return import ( name ) . catch ( ( err ) => Util . fail ( err . message ) ) ;
419422 } ,
420423
You can’t perform that action at this time.
0 commit comments