Sfoglia il codice sorgente

Ignore path captialization on Windows

The Windows file system is case-agnostic so the case shouldn't be taken
into account when comparing paths.

Fixes #2536
Dave Hirschfeld 7 anni fa
parent
commit
ff372e0ab0
1 ha cambiato i file con 6 aggiunte e 1 eliminazioni
  1. 6 1
      jupyterlab/commands.py

+ 6 - 1
jupyterlab/commands.py

@@ -289,7 +289,12 @@ def should_build(app_dir=None, logger=None):
             path = path.replace('file:', '')
             path = os.path.abspath(pjoin(app_dir, 'staging', path))
 
-        if path != staging_data['dependencies'][name]:
+        staging_path = staging_data['dependencies'][name]
+        if sys.platform == 'win32':
+            path = path.lower()
+            staging_path = staging_path.lower()
+
+        if path != staging_path:
             return True, 'Installed extensions changed'
 
     return False, ''